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