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.
Gary is not 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))]