Bob is cold. Harry is blue. Harry is rough. If Harry is white then Harry is big. If something is white then it is cold. If something is blue then it is cold. If something is blue and big then it is smart. Blue things are white. If something is big then it is rough.
Harry is quiet.
@0: Bob is cold.[(triple1)] Harry is blue.[(triple2)] Harry is rough.[(triple3 OR ((((((triple2) -> rule5)) -> rule1)) -> rule6))] @1: Harry is cold.[(((triple2) -> rule3) OR ((((triple2) -> rule5)) -> rule2))] Harry is white.[(((triple2) -> rule5))] @2: Harry is big.[(((((triple2) -> rule5)) -> rule1))] @3: Harry is smart.[(((triple2 ((((triple2) -> rule5)) -> rule1)) -> rule4))]