Bob is rough. Erin is green. Harry is blue. Green things are not blue. All red things are blue. All cold things are not nice. If something is blue and not green then it is cold. All blue things are cold. Rough things are red. Kind things are red. If something is nice then it is not red.
Harry is cold.
@0: Bob is rough.[(triple1)] Erin is green.[(triple2)] Harry is blue.[(triple3)] @1: Bob is red.[(((triple1) -> rule6))] Erin is not blue.[(((triple2) -> rule1))] Harry is cold.[(((triple3) -> rule5))] @2: Bob is blue.[(((((triple1) -> rule6)) -> rule2))] Harry is not nice.[(((((triple3) -> rule5)) -> rule3))] @3: Bob is cold.[(((((((triple1) -> rule6)) -> rule2)) -> rule5))] @4: Bob is not nice.[(((((((((triple1) -> rule6)) -> rule2)) -> rule5)) -> rule3))]