Erin is furry. Erin is not green. Erin is quiet. Erin is red. Erin is not rough. Erin is smart. Erin is young. Gary is green. Gary is not quiet. Gary is not red. Gary is smart. Gary is young. If someone is red and young then they are furry. Green people are furry. If Erin is smart and Erin is not young then Erin is not quiet.
Erin is quiet.
@0: Erin is furry.[(triple1 OR ((triple4 triple7) -> rule1))] Erin is not green.[(triple2)] Erin is not rough.[(triple5)] Erin is quiet.[(triple3)] Erin is red.[(triple4)] Erin is smart.[(triple6)] Erin is young.[(triple7)] Gary is green.[(triple8)] Gary is not quiet.[(triple9)] Gary is not red.[(triple10)] Gary is smart.[(triple11)] Gary is young.[(triple12)] @1: Gary is furry.[(((triple8) -> rule2))]