Anne is cold. Bob is nice. Erin is cold. Gary is red. All quiet, green things are round. If something is green then it is cold. All round things are green. All nice things are cold. All rough, round things are green. If Bob is nice and Bob is green then Bob is rough. If something is round and rough then it is green. If something is cold then it is round.
Anne is cold.
@0: Anne is cold.[(triple1)] Bob is nice.[(triple2)] Erin is cold.[(triple3)] Gary is red.[(triple4)] @1: Anne is round.[(((triple1) -> rule8))] Bob is cold.[(((triple2) -> rule4))] Erin is round.[(((triple3) -> rule8))] @2: Anne is green.[(((((triple1) -> rule8)) -> rule3))] Bob is round.[(((((triple2) -> rule4)) -> rule8))] Erin is green.[(((((triple3) -> rule8)) -> rule3))] @3: Bob is green.[(((((((triple2) -> rule4)) -> rule8)) -> rule3))] @4: Bob is rough.[(((triple2 ((((((triple2) -> rule4)) -> rule8)) -> rule3)) -> rule6))]