Erin is blue. Erin is quiet. Erin is red. Erin is rough. Erin is round. Erin is smart. Erin is young. All smart, quiet things are blue. Red, smart things are quiet. All smart things are round.
Erin is red.
@0: Erin is blue.[(triple1 OR ((triple6 triple2) -> rule1) OR ((triple6 ((triple3 triple6) -> rule2)) -> rule1))] Erin is quiet.[(triple2 OR ((triple3 triple6) -> rule2))] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5 OR ((triple6) -> rule3))] Erin is smart.[(triple6)] Erin is young.[(triple7)]