Dave is big. Dave is blue. Dave is cold. Dave is red. Dave is rough. Dave is smart. Dave is young. Erin is big. Erin is cold. Erin is rough. Erin is smart. Erin is young. All young people are blue. If Dave is big then Dave is smart. All rough people are smart. If someone is rough then they are cold. Blue, smart people are young. If someone is red and young then they are smart. Cold, blue people are young. All rough people are young.
Erin is not big.
@0: Dave is big.[(triple1)] Dave is blue.[(triple2 OR ((triple7) -> rule1) OR ((((triple5) -> rule8)) -> rule1))] Dave is cold.[(triple3 OR ((triple5) -> rule4))] Dave is red.[(triple4)] Dave is rough.[(triple5)] Dave is smart.[(triple6 OR ((triple1) -> rule2) OR ((triple5) -> rule3) OR ((triple4 triple7) -> rule6) OR ((triple4 ((triple5) -> rule8)) -> rule6) OR ((triple4 ((triple3 triple2) -> rule7)) -> rule6) OR ((triple4 ((((triple5) -> rule4) triple2) -> rule7)) -> rule6))] Dave is young.[(triple7 OR ((triple5) -> rule8) OR ((triple2 triple6) -> rule5) OR ((triple3 triple2) -> rule7) OR ((triple2 ((triple1) -> rule2)) -> rule5) OR ((triple2 ((triple5) -> rule3)) -> rule5) OR ((((triple5) -> rule4) triple2) -> rule7))] Erin is big.[(triple8)] Erin is cold.[(triple9 OR ((triple10) -> rule4))] Erin is rough.[(triple10)] Erin is smart.[(triple11 OR ((triple10) -> rule3))] Erin is young.[(triple12 OR ((triple10) -> rule8))] @1: Erin is blue.[(((triple12) -> rule1) OR ((((triple10) -> rule8)) -> rule1))]