Anne is cold. Bob is big. Charlie is nice. Gary is big. If someone is nice then they are blue. All big people are nice.
Anne is not cold.
@0: Anne is cold.[(triple1)] Bob is big.[(triple2)] Charlie is nice.[(triple3)] Gary is big.[(triple4)] @1: Bob is nice.[(((triple2) -> rule2))] Charlie is blue.[(((triple3) -> rule1))] Gary is nice.[(((triple4) -> rule2))] @2: Bob is blue.[(((((triple2) -> rule2)) -> rule1))] Gary is blue.[(((((triple4) -> rule2)) -> rule1))]