Erin is big. Erin is cold. Erin is furry. Erin is rough. Erin is round. Erin is smart. Erin is young. All cold, round things are young. All furry, smart things are round. Big things are rough. All smart things are young. If Erin is young then Erin is cold. Smart, young things are cold. If Erin is furry and Erin is round then Erin is rough. If something is round and smart then it is big.
Erin is not rough.
@0: Erin is big.[(triple1 OR ((triple5 triple6) -> rule8) OR ((((triple3 triple6) -> rule2) triple6) -> rule8))] Erin is cold.[(triple2 OR ((triple7) -> rule5) OR ((triple6 triple7) -> rule6) OR ((((triple6) -> rule4)) -> rule5) OR ((triple6 ((triple6) -> rule4)) -> rule6))] Erin is furry.[(triple3)] Erin is rough.[(triple4 OR ((triple1) -> rule3) OR ((triple3 triple5) -> rule7) OR ((((triple5 triple6) -> rule8)) -> rule3) OR ((triple3 ((triple3 triple6) -> rule2)) -> rule7) OR ((((((triple3 triple6) -> rule2) triple6) -> rule8)) -> rule3))] Erin is round.[(triple5 OR ((triple3 triple6) -> rule2))] Erin is smart.[(triple6)] Erin is young.[(triple7 OR ((triple6) -> rule4) OR ((triple2 triple5) -> rule1) OR ((triple2 ((triple3 triple6) -> rule2)) -> rule1))]