Erin is furry. Erin is kind. Erin is not quiet. Erin is not red. Erin is not smart. Gary is furry. Gary is quiet. Gary is red. Gary is not rough. Gary is young. Young, furry things are kind. If something is red then it is kind. All furry, smart things are red. If Erin is quiet and Erin is rough then Erin is not furry. If Erin is red and Erin is rough then Erin is quiet. If something is young then it is furry. If Gary is smart then Gary is not quiet. Young, red things are not rough.
Erin is smart.
@0: Erin is furry.[(triple1)] Erin is kind.[(triple2)] Erin is not quiet.[(triple3)] Erin is not red.[(triple4)] Erin is not smart.[(triple5)] Gary is furry.[(triple6 OR ((triple10) -> rule6))] Gary is not rough.[(triple9 OR ((triple10 triple8) -> rule8))] Gary is quiet.[(triple7)] Gary is red.[(triple8)] Gary is young.[(triple10)] @1: Gary is kind.[(((triple8) -> rule2) OR ((triple10 triple6) -> rule1) OR ((triple10 ((triple10) -> rule6)) -> rule1))]