Dave is quiet. Dave is white. Gary is nice. Gary is round. Harry is big. Harry is cold. Harry is kind. Harry is nice. Harry is quiet. Harry is round. All white things are round. If something is round and quiet then it is cold. If Harry is big and Harry is white then Harry is nice. If something is quiet and cold then it is kind. All big things are quiet. If Harry is quiet then Harry is big.
Harry is white.
@0: Dave is quiet.[(triple1)] Dave is white.[(triple2)] Gary is nice.[(triple3)] Gary is round.[(triple4)] Harry is big.[(triple5 OR ((triple9) -> rule6))] Harry is cold.[(triple6 OR ((triple10 triple9) -> rule2) OR ((triple10 ((triple5) -> rule5)) -> rule2))] Harry is kind.[(triple7 OR ((triple9 triple6) -> rule4) OR ((triple9 ((triple10 triple9) -> rule2)) -> rule4) OR ((((triple5) -> rule5) triple6) -> rule4) OR ((((triple5) -> rule5) ((triple10 triple9) -> rule2)) -> rule4) OR ((triple9 ((triple10 ((triple5) -> rule5)) -> rule2)) -> rule4) OR ((((triple5) -> rule5) ((triple10 ((triple5) -> rule5)) -> rule2)) -> rule4))] Harry is nice.[(triple8)] Harry is quiet.[(triple9 OR ((triple5) -> rule5))] Harry is round.[(triple10)] @1: Dave is round.[(((triple2) -> rule1))] @2: Dave is cold.[(((((triple2) -> rule1) triple1) -> rule2))] @3: Dave is kind.[(((triple1 ((((triple2) -> rule1) triple1) -> rule2)) -> rule4))]