Erin is big. Erin is cold. Erin is green. Erin is kind. Erin is nice. Erin is quiet. Erin is white. All green, quiet things are big. All nice, white things are quiet.
Erin is not quiet.
@0: Erin is big.[(triple1 OR ((triple3 triple6) -> rule1) OR ((triple3 ((triple5 triple7) -> rule2)) -> rule1))] Erin is cold.[(triple2)] Erin is green.[(triple3)] Erin is kind.[(triple4)] Erin is nice.[(triple5)] Erin is quiet.[(triple6 OR ((triple5 triple7) -> rule2))] Erin is white.[(triple7)]