Anne is furry. Anne is red. Anne is rough. Erin is rough. Erin is round. Erin is white. Gary is cold. Gary is red. Gary is white. Gary is young. If something is furry then it is red. All red, cold things are round. Furry, cold things are rough. All red, young things are cold. If something is cold and white then it is round. If something is round and rough then it is furry. Red things are cold. If Gary is furry and Gary is cold then Gary is red.
Erin is not cold.
@0: Anne is furry.[(triple1 OR ((((triple2 ((triple2) -> rule7)) -> rule2) triple3) -> rule6))] Anne is red.[(triple2 OR ((triple1) -> rule1))] Anne is rough.[(triple3 OR ((triple1 ((triple2) -> rule7)) -> rule3) OR ((triple1 ((((triple1) -> rule1)) -> rule7)) -> rule3))] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Gary is cold.[(triple7 OR ((triple8) -> rule7) OR ((triple8 triple10) -> rule4))] Gary is red.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Anne is cold.[(((triple2) -> rule7) OR ((((triple1) -> rule1)) -> rule7))] Erin is furry.[(((triple5 triple4) -> rule6))] Gary is round.[(((triple7 triple9) -> rule5) OR ((triple8 triple7) -> rule2) OR ((triple8 ((triple8) -> rule7)) -> rule2) OR ((triple8 ((triple8 triple10) -> rule4)) -> rule2) OR ((((triple8) -> rule7) triple9) -> rule5) OR ((((triple8 triple10) -> rule4) triple9) -> rule5))] @2: Anne is round.[(((triple2 ((triple2) -> rule7)) -> rule2) OR ((((triple1) -> rule1) ((triple2) -> rule7)) -> rule2) OR ((triple2 ((((triple1) -> rule1)) -> rule7)) -> rule2) OR ((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule7)) -> rule2))] Erin is red.[(((((triple5 triple4) -> rule6)) -> rule1))] @3: Erin is cold.[(((((((triple5 triple4) -> rule6)) -> rule1)) -> rule7))]