Charlie is green. Erin is white. Fiona is red. Gary is white. If Erin is big then Erin is kind. If something is white then it is cold. All rough things are green. If something is green and white then it is red. If Fiona is white then Fiona is big. All white, big things are cold. If something is white and cold then it is rough. Red, green things are white.
Erin is rough.
@0: Charlie is green.[(triple1)] Erin is white.[(triple2)] Fiona is red.[(triple3)] Gary is white.[(triple4)] @1: Erin is cold.[(((triple2) -> rule2))] Gary is cold.[(((triple4) -> rule2))] @2: Erin is rough.[(((triple2 ((triple2) -> rule2)) -> rule7))] Gary is rough.[(((triple4 ((triple4) -> rule2)) -> rule7))] @3: Erin is green.[(((((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3))] Gary is green.[(((((triple4 ((triple4) -> rule2)) -> rule7)) -> rule3))] @4: Erin is red.[(((((((triple2 ((triple2) -> rule2)) -> rule7)) -> rule3) triple2) -> rule4))] Gary is red.[(((((((triple4 ((triple4) -> rule2)) -> rule7)) -> rule3) triple4) -> rule4))]