Bob is nice. Bob is white. Dave is cold. Dave is white. Gary is nice. Gary is quiet. Harry is big. If something is quiet and big then it is red. White, cold things are red. Big things are quiet. All red things are quiet. If Harry is red and Harry is big then Harry is nice. If something is white and nice then it is blue. If Gary is big and Gary is cold then Gary is white. If Harry is blue and Harry is nice then Harry is quiet.
Harry is not nice.
@0: Bob is nice.[(triple1)] Bob is white.[(triple2)] Dave is cold.[(triple3)] Dave is white.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Harry is big.[(triple7)] @1: Bob is blue.[(((triple2 triple1) -> rule6))] Dave is red.[(((triple4 triple3) -> rule2))] Harry is quiet.[(((triple7) -> rule3))] @2: Dave is quiet.[(((((triple4 triple3) -> rule2)) -> rule4))] Harry is red.[(((((triple7) -> rule3) triple7) -> rule1))] @3: Harry is nice.[(((((((triple7) -> rule3) triple7) -> rule1) triple7) -> rule5))]