Bob is round. Harry is big. Harry is white. Round things are green. Rough things are not green. If something is green then it is not cold. All rough things are cold. All cold, rough things are not round. Big things are round.
Harry is not red.
@0: Bob is round.[(triple1)] Harry is big.[(triple2)] Harry is white.[(triple3)] @1: Bob is green.[(((triple1) -> rule1))] Harry is round.[(((triple2) -> rule6))] @2: Bob is not cold.[(((((triple1) -> rule1)) -> rule3))] Harry is green.[(((((triple2) -> rule6)) -> rule1))] @3: Harry is not cold.[(((((((triple2) -> rule6)) -> rule1)) -> rule3))]