Bob is cold. Bob is nice. Bob is quiet. Bob is white. Harry is blue. Harry is cold. Harry is quiet. Harry is red. Harry is white. Harry is young. Nice things are quiet. Nice, white things are red. Blue, young things are quiet. Blue things are white. If something is nice and young then it is white. White things are quiet.
Bob is not cold.
@0: Bob is cold.[(triple1)] Bob is nice.[(triple2)] Bob is quiet.[(triple3 OR ((triple2) -> rule1) OR ((triple4) -> rule6))] Bob is white.[(triple4)] Harry is blue.[(triple5)] Harry is cold.[(triple6)] Harry is quiet.[(triple7 OR ((triple9) -> rule6) OR ((triple5 triple10) -> rule3) OR ((((triple5) -> rule4)) -> rule6))] Harry is red.[(triple8)] Harry is white.[(triple9 OR ((triple5) -> rule4))] Harry is young.[(triple10)] @1: Bob is red.[(((triple2 triple4) -> rule2))]