Bob is cold. Bob is quiet. Bob is white. Bob is young. Gary is blue. Harry is nice. Harry is white. All blue things are nice. If Bob is nice then Bob is blue. If Harry is cold and Harry is nice then Harry is quiet. Nice, young things are white. All quiet, blue things are kind. Young things are nice.
Gary is cold.
@0: Bob is cold.[(triple1)] Bob is quiet.[(triple2)] Bob is white.[(triple3 OR ((((triple4) -> rule6) triple4) -> rule4))] Bob is young.[(triple4)] Gary is blue.[(triple5)] Harry is nice.[(triple6)] Harry is white.[(triple7)] @1: Bob is nice.[(((triple4) -> rule6))] Gary is nice.[(((triple5) -> rule1))] @2: Bob is blue.[(((((triple4) -> rule6)) -> rule2))] @3: Bob is kind.[(((triple2 ((((triple4) -> rule6)) -> rule2)) -> rule5))]