Dave is blue. Dave is furry. Dave is kind. Dave is rough. Dave is round. Dave is smart. Dave is white. Harry is blue. Harry is furry. Harry is kind. Harry is rough. Harry is round. Harry is smart. Harry is white. All rough, kind things are blue. If something is smart then it is furry. Kind things are smart. Furry things are smart. Blue, round things are smart. If Dave is furry then Dave is round.
Dave is rough.
@0: Dave is blue.[(triple1 OR ((triple4 triple3) -> rule1))] Dave is furry.[(triple2 OR ((triple6) -> rule2) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple1 triple5) -> rule5)) -> rule2) OR ((((((triple4 triple3) -> rule1) triple5) -> rule5)) -> rule2))] Dave is kind.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5 OR ((triple2) -> rule6) OR ((((triple6) -> rule2)) -> rule6) OR ((((((triple3) -> rule3)) -> rule2)) -> rule6))] Dave is smart.[(triple6 OR ((triple2) -> rule4) OR ((triple3) -> rule3) OR ((triple1 triple5) -> rule5) OR ((triple1 ((triple2) -> rule6)) -> rule5) OR ((((triple4 triple3) -> rule1) triple5) -> rule5) OR ((((triple4 triple3) -> rule1) ((triple2) -> rule6)) -> rule5))] Dave is white.[(triple7)] Harry is blue.[(triple8 OR ((triple11 triple10) -> rule1))] Harry is furry.[(triple9 OR ((triple13) -> rule2) OR ((((triple10) -> rule3)) -> rule2) OR ((((triple8 triple12) -> rule5)) -> rule2) OR ((((((triple11 triple10) -> rule1) triple12) -> rule5)) -> rule2))] Harry is kind.[(triple10)] Harry is rough.[(triple11)] Harry is round.[(triple12)] Harry is smart.[(triple13 OR ((triple10) -> rule3) OR ((triple9) -> rule4) OR ((triple8 triple12) -> rule5) OR ((((triple11 triple10) -> rule1) triple12) -> rule5))] Harry is white.[(triple14)]