Erin is big. Erin is not blue. Erin is furry. Erin is rough. Erin is smart. Erin is white. Erin is young. Furry, young people are big. All furry people are big. If Erin is white then Erin is rough. If Erin is smart and Erin is not furry then Erin is blue. If someone is young and not white then they are smart. If Erin is white and Erin is not young then Erin is big.
Erin is not blue.
@0: Erin is big.[(triple1 OR ((triple3) -> rule2) OR ((triple3 triple7) -> rule1))] Erin is furry.[(triple3)] Erin is not blue.[(triple2)] Erin is rough.[(triple4 OR ((triple6) -> rule3))] Erin is smart.[(triple5)] Erin is white.[(triple6)] Erin is young.[(triple7)]