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