Dave is furry. Dave is green. Dave is nice. Dave is rough. Dave is white. Erin is furry. Erin is green. Erin is rough. Erin is round. Erin is white. Harry is furry. Harry is nice. Harry is rough. Harry is round. Harry is smart. If Erin is round then Erin is rough. If something is round and nice then it is smart. If Dave is green and Dave is furry then Dave is round. If Dave is furry and Dave is nice then Dave is green. If something is furry and white then it is smart. If something is white and furry then it is rough.
Harry is green.
@0: Dave is furry.[(triple1)] Dave is green.[(triple2 OR ((triple1 triple3) -> rule4))] Dave is nice.[(triple3)] Dave is rough.[(triple4 OR ((triple5 triple1) -> rule6))] Dave is white.[(triple5)] Erin is furry.[(triple6)] Erin is green.[(triple7)] Erin is rough.[(triple8 OR ((triple9) -> rule1) OR ((triple10 triple6) -> rule6))] Erin is round.[(triple9)] Erin is white.[(triple10)] Harry is furry.[(triple11)] Harry is nice.[(triple12)] Harry is rough.[(triple13)] Harry is round.[(triple14)] Harry is smart.[(triple15 OR ((triple14 triple12) -> rule2))] @1: Dave is round.[(((triple2 triple1) -> rule3) OR ((((triple1 triple3) -> rule4) triple1) -> rule3))] Dave is smart.[(((triple1 triple5) -> rule5) OR ((((triple2 triple1) -> rule3) triple3) -> rule2) OR ((((((triple1 triple3) -> rule4) triple1) -> rule3) triple3) -> rule2))] Erin is smart.[(((triple6 triple10) -> rule5))]