Anne is rough. Charlie is blue. Erin is big. Fiona is smart. Blue things are red. All green, blue things are big. All red things are smart. All white, red things are green. Red things are green. If something is big then it is green. If something is green then it is red. If Erin is smart then Erin is rough.
Fiona is rough.
@0: Anne is rough.[(triple1)] Charlie is blue.[(triple2)] Erin is big.[(triple3)] Fiona is smart.[(triple4)] @1: Charlie is red.[(((triple2) -> rule1))] Erin is green.[(((triple3) -> rule6))] @2: Charlie is green.[(((((triple2) -> rule1)) -> rule5))] Charlie is smart.[(((((triple2) -> rule1)) -> rule3))] Erin is red.[(((((triple3) -> rule6)) -> rule7))] @3: Charlie is big.[(((((((triple2) -> rule1)) -> rule5) triple2) -> rule2))] Erin is smart.[(((((((triple3) -> rule6)) -> rule7)) -> rule3))] @4: Erin is rough.[(((((((((triple3) -> rule6)) -> rule7)) -> rule3)) -> rule8))]