Anne is cold. Anne is furry. Anne is red. Anne is rough. Anne is white. Anne is young. Erin is blue. Erin is cold. Erin is furry. Erin is red. Erin is rough. Erin is white. Erin is young. Gary is cold. Gary is white. White people are cold. Cold people are furry. If someone is furry then they are red. Cold people are red. If Erin is blue and Erin is rough then Erin is young. All young people are red.
Gary is rough.
@0: Anne is cold.[(triple1 OR ((triple5) -> rule1))] Anne is furry.[(triple2 OR ((triple1) -> rule2) OR ((((triple5) -> rule1)) -> rule2))] Anne is red.[(triple3 OR ((triple1) -> rule4) OR ((triple2) -> rule3) OR ((triple6) -> rule6) OR ((((triple1) -> rule2)) -> rule3) OR ((((triple5) -> rule1)) -> rule4) OR ((((((triple5) -> rule1)) -> rule2)) -> rule3))] Anne is rough.[(triple4)] Anne is white.[(triple5)] Anne is young.[(triple6)] Erin is blue.[(triple7)] Erin is cold.[(triple8 OR ((triple12) -> rule1))] Erin is furry.[(triple9 OR ((triple8) -> rule2) OR ((((triple12) -> rule1)) -> rule2))] Erin is red.[(triple10 OR ((triple13) -> rule6) OR ((triple8) -> rule4) OR ((triple9) -> rule3) OR ((((triple12) -> rule1)) -> rule4) OR ((((triple8) -> rule2)) -> rule3) OR ((((triple7 triple11) -> rule5)) -> rule6) OR ((((((triple12) -> rule1)) -> rule2)) -> rule3))] Erin is rough.[(triple11)] Erin is white.[(triple12)] Erin is young.[(triple13 OR ((triple7 triple11) -> rule5))] Gary is cold.[(triple14 OR ((triple15) -> rule1))] Gary is white.[(triple15)] @1: Gary is furry.[(((triple14) -> rule2) OR ((((triple15) -> rule1)) -> rule2))] Gary is red.[(((triple14) -> rule4) OR ((((triple14) -> rule2)) -> rule3) OR ((((triple15) -> rule1)) -> rule4) OR ((((((triple15) -> rule1)) -> rule2)) -> rule3))]