Bob is nice. Gary is cold. Harry is white. All white people are blue. All red people are not nice. Cold, white people are big. All cold, nice people are big. All white people are quiet. If someone is big then they are quiet. All quiet people are cold. If someone is quiet then they are not red.
Harry is not cold.
@0: Bob is nice.[(triple1)] Gary is cold.[(triple2)] Harry is white.[(triple3)] @1: Harry is blue.[(((triple3) -> rule1))] Harry is quiet.[(((triple3) -> rule5))] @2: Harry is cold.[(((((triple3) -> rule5)) -> rule7))] Harry is not red.[(((((triple3) -> rule5)) -> rule8))] @3: Harry is big.[(((((((triple3) -> rule5)) -> rule7) triple3) -> rule3))]