Erin is furry. Erin is nice. Erin is quiet. Erin is smart. Erin is young. Gary is nice. Gary is quiet. All big things are furry. All big things are cold. If Erin is quiet then Erin is cold. All furry things are smart. If Gary is furry and Gary is cold then Gary is smart. If Gary is nice then Gary is furry. If Erin is young and Erin is smart then Erin is furry. All smart things are nice.
Erin is not nice.
@0: Erin is furry.[(triple1 OR ((triple5 triple4) -> rule7))] Erin is nice.[(triple2 OR ((triple4) -> rule8) OR ((((triple1) -> rule4)) -> rule8))] Erin is quiet.[(triple3)] Erin is smart.[(triple4 OR ((triple1) -> rule4))] Erin is young.[(triple5)] Gary is nice.[(triple6)] Gary is quiet.[(triple7)] @1: Erin is cold.[(((triple3) -> rule3))] Gary is furry.[(((triple6) -> rule6))] @2: Gary is smart.[(((((triple6) -> rule6)) -> rule4))]