Dave is blue. Dave is kind. Dave is rough. Dave is smart. Erin is rough. Erin is smart. Gary is furry. Gary is kind. Gary is nice. Gary is rough. Harry is furry. Harry is kind. Harry is nice. Harry is rough. Harry is round. Harry is smart. All nice, kind people are rough. If someone is round and nice then they are furry. If someone is rough then they are furry.
Erin is round.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is rough.[(triple3)] Dave is smart.[(triple4)] Erin is rough.[(triple5)] Erin is smart.[(triple6)] Gary is furry.[(triple7 OR ((triple10) -> rule3) OR ((((triple9 triple8) -> rule1)) -> rule3))] Gary is kind.[(triple8)] Gary is nice.[(triple9)] Gary is rough.[(triple10 OR ((triple9 triple8) -> rule1))] Harry is furry.[(triple11 OR ((triple14) -> rule3) OR ((triple15 triple13) -> rule2) OR ((((triple13 triple12) -> rule1)) -> rule3))] Harry is kind.[(triple12)] Harry is nice.[(triple13)] Harry is rough.[(triple14 OR ((triple13 triple12) -> rule1))] Harry is round.[(triple15)] Harry is smart.[(triple16)] @1: Dave is furry.[(((triple3) -> rule3))] Erin is furry.[(((triple5) -> rule3))]