Erin is big. Erin is blue. Erin is not furry. Erin is green. Erin is not quiet. Erin is not smart. Erin is young. If something is blue then it is big. All furry, quiet things are smart. If something is furry then it is smart. If Erin is quiet and Erin is not young then Erin is big. Green, smart things are not furry. If something is quiet then it is furry.
Erin is not green.
@0: Erin is big.[(triple1 OR ((triple2) -> rule1))] Erin is blue.[(triple2)] Erin is green.[(triple4)] Erin is not furry.[(triple3)] Erin is not quiet.[(triple5)] Erin is not smart.[(triple6)] Erin is young.[(triple7)]