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