Anne is green. Anne is round. Anne is young. Dave is kind. Dave is round. Dave is smart. Gary is kind. Gary is quiet. Gary is round. Gary is white. Gary is young. Harry is smart. If Harry is young then Harry is white. White things are kind. If something is quiet and green then it is kind. If Dave is white then Dave is quiet. Smart things are round. All round, kind things are green. If Dave is round and Dave is white then Dave is smart. If something is round then it is kind.
Dave is smart.
@0: Anne is green.[(triple1 OR ((triple2 ((triple2) -> rule8)) -> rule6))] Anne is round.[(triple2)] Anne is young.[(triple3)] Dave is kind.[(triple4 OR ((triple5) -> rule8) OR ((((triple6) -> rule5)) -> rule8))] Dave is round.[(triple5 OR ((triple6) -> rule5))] Dave is smart.[(triple6)] Gary is kind.[(triple7 OR ((triple10) -> rule2) OR ((triple9) -> rule8))] Gary is quiet.[(triple8)] Gary is round.[(triple9)] Gary is white.[(triple10)] Gary is young.[(triple11)] Harry is smart.[(triple12)] @1: Anne is kind.[(((triple2) -> rule8))] Dave is green.[(((triple5 triple4) -> rule6) OR ((triple5 ((triple5) -> rule8)) -> rule6) OR ((((triple6) -> rule5) triple4) -> rule6) OR ((((triple6) -> rule5) ((triple5) -> rule8)) -> rule6) OR ((triple5 ((((triple6) -> rule5)) -> rule8)) -> rule6) OR ((((triple6) -> rule5) ((((triple6) -> rule5)) -> rule8)) -> rule6))] Gary is green.[(((triple9 triple7) -> rule6) OR ((triple9 ((triple10) -> rule2)) -> rule6) OR ((triple9 ((triple9) -> rule8)) -> rule6))] Harry is round.[(((triple12) -> rule5))] @2: Harry is kind.[(((((triple12) -> rule5)) -> rule8))] @3: Harry is green.[(((((triple12) -> rule5) ((((triple12) -> rule5)) -> rule8)) -> rule6))]