All of these cases raise the issue of computer supportability and automatability of proof procedures.

Being in love with my boyfriend gives me a fluffy feeling inside.

The dress had puffed sleeves.

to unravel a plot