Bob is green. Erin is red. Fiona is big. Gary is kind. All green people are big. All red people are green. All big people are cold.
Bob is blue.
@0: Bob is green.[(triple1)] Erin is red.[(triple2)] Fiona is big.[(triple3)] Gary is kind.[(triple4)] @1: Bob is big.[(((triple1) -> rule1))] Erin is green.[(((triple2) -> rule2))] Fiona is cold.[(((triple3) -> rule3))] @2: Bob is cold.[(((((triple1) -> rule1)) -> rule3))] Erin is big.[(((((triple2) -> rule2)) -> rule1))] @3: Erin is cold.[(((((((triple2) -> rule2)) -> rule1)) -> rule3))]