Bob is blue. Erin is blue. Gary is cold. If Erin is green then Erin is big. Green things are rough. If Bob is cold then Bob is big. All blue things are cold. All green things are rough. All big things are kind. If something is rough and big then it is green. All kind, blue things are cold.
Erin is blue.
@0: Bob is blue.[(triple1)] Erin is blue.[(triple2)] Gary is cold.[(triple3)] @1: Bob is cold.[(((triple1) -> rule4))] Erin is cold.[(((triple2) -> rule4))] @2: Bob is big.[(((((triple1) -> rule4)) -> rule3))] @3: Bob is kind.[(((((((triple1) -> rule4)) -> rule3)) -> rule6))]