Anne is white. Dave is big. Dave is young. Erin is cold. Erin is red. Erin is rough. Gary is rough. If Anne is furry then Anne is big. All red things are furry. If something is red and furry then it is white. If something is rough and white then it is cold. If something is furry then it is white. If Erin is cold and Erin is red then Erin is big.
Erin is young.
@0: Anne is white.[(triple1)] Dave is big.[(triple2)] Dave is young.[(triple3)] Erin is cold.[(triple4 OR ((triple6 ((((triple5) -> rule2)) -> rule5)) -> rule4) OR ((triple6 ((triple5 ((triple5) -> rule2)) -> rule3)) -> rule4))] Erin is red.[(triple5)] Erin is rough.[(triple6)] Gary is rough.[(triple7)] @1: Erin is big.[(((triple4 triple5) -> rule6) OR ((((triple6 ((((triple5) -> rule2)) -> rule5)) -> rule4) triple5) -> rule6) OR ((((triple6 ((triple5 ((triple5) -> rule2)) -> rule3)) -> rule4) triple5) -> rule6))] Erin is furry.[(((triple5) -> rule2))] @2: Erin is white.[(((((triple5) -> rule2)) -> rule5) OR ((triple5 ((triple5) -> rule2)) -> rule3))]