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