Erin is big. Erin is blue. Erin is cold. Erin is furry. Erin is rough. Erin is round. Erin is young. All big people are rough. All round, cold people are furry. Blue, furry people are rough. If someone is blue and round then they are cold. If Erin is rough then Erin is furry. Young people are furry.
Erin is not round.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3 OR ((triple2 triple6) -> rule4))] Erin is furry.[(triple4 OR ((triple5) -> rule5) OR ((triple7) -> rule6) OR ((triple6 triple3) -> rule2) OR ((((triple1) -> rule1)) -> rule5) OR ((triple6 ((triple2 triple6) -> rule4)) -> rule2))] Erin is rough.[(triple5 OR ((triple1) -> rule1) OR ((triple2 triple4) -> rule3) OR ((triple2 ((triple7) -> rule6)) -> rule3) OR ((triple2 ((triple6 triple3) -> rule2)) -> rule3) OR ((triple2 ((triple6 ((triple2 triple6) -> rule4)) -> rule2)) -> rule3))] Erin is round.[(triple6)] Erin is young.[(triple7)]