Dave is nice. Dave is quiet. Erin is not quiet. Erin is not rough. Erin is round. Erin is smart. Gary is rough. Gary is round. Gary is smart. Harry is green. Harry is not rough. Harry is round. Quiet, rough people are smart. All rough people are smart. Nice people are not smart. All nice people are round. All round, nice people are furry. If Harry is smart then Harry is not nice.
Dave is round.
@0: Dave is nice.[(triple1)] Dave is quiet.[(triple2)] Erin is not quiet.[(triple3)] Erin is not rough.[(triple4)] Erin is round.[(triple5)] Erin is smart.[(triple6)] Gary is rough.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9 OR ((triple7) -> rule2))] Harry is green.[(triple10)] Harry is not rough.[(triple11)] Harry is round.[(triple12)] @1: Dave is not smart.[(((triple1) -> rule3))] Dave is round.[(((triple1) -> rule4))] @2: Dave is furry.[(((((triple1) -> rule4) triple1) -> rule5))]