Anne is big. Anne is cold. Anne is furry. Anne is nice. Anne is quiet. Anne is smart. Anne is young. Erin is big. Erin is quiet. Erin is smart. Erin is young. Gary is cold. Gary is furry. Gary is nice. Gary is smart. Gary is young. All furry, quiet things are smart. If something is furry and cold then it is young. All quiet, smart things are young. If Gary is smart and Gary is furry then Gary is cold. Quiet things are cold. If Erin is quiet and Erin is furry then Erin is nice.
Anne is furry.
@0: Anne is big.[(triple1)] Anne is cold.[(triple2 OR ((triple5) -> rule5))] Anne is furry.[(triple3)] Anne is nice.[(triple4)] Anne is quiet.[(triple5)] Anne is smart.[(triple6 OR ((triple3 triple5) -> rule1))] Anne is young.[(triple7 OR ((triple3 triple2) -> rule2) OR ((triple5 triple6) -> rule3) OR ((triple3 ((triple5) -> rule5)) -> rule2) OR ((triple5 ((triple3 triple5) -> rule1)) -> rule3))] Erin is big.[(triple8)] Erin is quiet.[(triple9)] Erin is smart.[(triple10)] Erin is young.[(triple11 OR ((triple9 triple10) -> rule3))] Gary is cold.[(triple12 OR ((triple15 triple13) -> rule4))] Gary is furry.[(triple13)] Gary is nice.[(triple14)] Gary is smart.[(triple15)] Gary is young.[(triple16 OR ((triple13 triple12) -> rule2) OR ((triple13 ((triple15 triple13) -> rule4)) -> rule2))] @1: Erin is cold.[(((triple9) -> rule5))]