Anne is nice. Bob is round. Erin is nice. Harry is cold. If something is red and round then it is rough. All round things are rough. All red, big things are round. If something is rough and furry then it is red. If Bob is rough then Bob is red. If something is big and rough then it is cold. If something is furry then it is cold. If something is rough then it is big.
Harry is not cold.
@0: Anne is nice.[(triple1)] Bob is round.[(triple2)] Erin is nice.[(triple3)] Harry is cold.[(triple4)] @1: Bob is rough.[(((triple2) -> rule2))] @2: Bob is big.[(((((triple2) -> rule2)) -> rule8))] Bob is red.[(((((triple2) -> rule2)) -> rule5))] @3: Bob is cold.[(((((((triple2) -> rule2)) -> rule8) ((triple2) -> rule2)) -> rule6))]