Anne is blue. Anne is green. Anne is kind. Anne is quiet. Anne is round. Anne is white. Bob is blue. Bob is green. Bob is white. Dave is blue. Dave is green. Dave is kind. Dave is quiet. Dave is smart. Dave is white. Harry is round. All smart things are blue. All green things are white. Blue, round things are quiet. All smart things are quiet. If Harry is green and Harry is round then Harry is white. If something is green and quiet then it is smart.
Harry is kind.
@0: Anne is blue.[(triple1 OR ((((triple2 triple4) -> rule6)) -> rule1))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is quiet.[(triple4 OR ((triple1 triple5) -> rule3))] Anne is round.[(triple5)] Anne is white.[(triple6 OR ((triple2) -> rule2))] Bob is blue.[(triple7)] Bob is green.[(triple8)] Bob is white.[(triple9 OR ((triple8) -> rule2))] Dave is blue.[(triple10 OR ((triple14) -> rule1) OR ((((triple11 triple13) -> rule6)) -> rule1))] Dave is green.[(triple11)] Dave is kind.[(triple12)] Dave is quiet.[(triple13 OR ((triple14) -> rule4))] Dave is smart.[(triple14 OR ((triple11 triple13) -> rule6))] Dave is white.[(triple15 OR ((triple11) -> rule2))] Harry is round.[(triple16)] @1: Anne is smart.[(((triple2 triple4) -> rule6) OR ((triple2 ((triple1 triple5) -> rule3)) -> rule6))]