Dave is smart. Erin is big. Erin is green. If Erin is young then Erin is smart. If Dave is smart then Dave is green. All green, blue things are big. Rough, smart things are red. Green things are rough. All green, big things are young.
Erin is red.
@0: Dave is smart.[(triple1)] Erin is big.[(triple2)] Erin is green.[(triple3)] @1: Dave is green.[(((triple1) -> rule2))] Erin is rough.[(((triple3) -> rule5))] Erin is young.[(((triple3 triple2) -> rule6))] @2: Dave is rough.[(((((triple1) -> rule2)) -> rule5))] Erin is smart.[(((((triple3 triple2) -> rule6)) -> rule1))] @3: Dave is red.[(((((((triple1) -> rule2)) -> rule5) triple1) -> rule4))] Erin is red.[(((((triple3) -> rule5) ((((triple3 triple2) -> rule6)) -> rule1)) -> rule4))]