Dave is big. Dave is cold. Dave is red. Dave is rough. Dave is round. Dave is smart. Dave is white. Erin is big. Erin is cold. Erin is rough. Erin is round. Erin is smart. If Erin is big and Erin is red then Erin is round. All big, smart people are white. Smart people are cold. Rough, smart people are big. Round, smart people are white. All big people are smart.
Dave is not round.
@0: Dave is big.[(triple1 OR ((triple4 triple6) -> rule4))] Dave is cold.[(triple2 OR ((triple6) -> rule3) OR ((((triple1) -> rule6)) -> rule3))] Dave is red.[(triple3)] Dave is rough.[(triple4)] Dave is round.[(triple5)] Dave is smart.[(triple6 OR ((triple1) -> rule6))] Dave is white.[(triple7 OR ((triple1 triple6) -> rule2) OR ((triple5 triple6) -> rule5) OR ((triple1 ((triple1) -> rule6)) -> rule2) OR ((triple5 ((triple1) -> rule6)) -> rule5) OR ((((triple4 triple6) -> rule4) triple6) -> rule2) OR ((((triple4 triple6) -> rule4) ((triple1) -> rule6)) -> rule2))] Erin is big.[(triple8 OR ((triple10 triple12) -> rule4))] Erin is cold.[(triple9 OR ((triple12) -> rule3) OR ((((triple8) -> rule6)) -> rule3))] Erin is rough.[(triple10)] Erin is round.[(triple11)] Erin is smart.[(triple12 OR ((triple8) -> rule6))] @1: Erin is white.[(((triple11 triple12) -> rule5) OR ((triple8 triple12) -> rule2) OR ((triple11 ((triple8) -> rule6)) -> rule5) OR ((triple8 ((triple8) -> rule6)) -> rule2) OR ((((triple10 triple12) -> rule4) triple12) -> rule2) OR ((((triple10 triple12) -> rule4) ((triple8) -> rule6)) -> rule2))]