Anne is big. Anne is cold. Anne is furry. Anne is green. Anne is round. Anne is white. Dave is big. Dave is cold. Dave is furry. Dave is kind. Dave is round. Erin is cold. Erin is green. Erin is kind. Erin is round. White people are big. If Anne is white then Anne is round. All green, round people are big.
Dave is not cold.
@0: Anne is big.[(triple1 OR ((triple6) -> rule1) OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple6) -> rule2)) -> rule3))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is green.[(triple4)] Anne is round.[(triple5 OR ((triple6) -> rule2))] Anne is white.[(triple6)] Dave is big.[(triple7)] Dave is cold.[(triple8)] Dave is furry.[(triple9)] Dave is kind.[(triple10)] Dave is round.[(triple11)] Erin is cold.[(triple12)] Erin is green.[(triple13)] Erin is kind.[(triple14)] Erin is round.[(triple15)] @1: Erin is big.[(((triple13 triple15) -> rule3))]