Anne is big. Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is white. Dave is big. Dave is cold. Dave is furry. Dave is nice. Dave is red. Dave is round. Dave is white. If Anne is not white then Anne is round. Round things are red. Big, nice things are red. Red things are round. If Anne is white and Anne is round then Anne is big. If something is nice and not big then it is furry.
Dave is not white.
@0: Anne is big.[(triple1 OR ((triple7 triple6) -> rule5) OR ((triple7 ((triple5) -> rule4)) -> rule5))] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is nice.[(triple4)] Anne is red.[(triple5 OR ((triple6) -> rule2) OR ((triple1 triple4) -> rule3) OR ((((triple7 triple6) -> rule5) triple4) -> rule3))] Anne is round.[(triple6 OR ((triple5) -> rule4) OR ((((triple1 triple4) -> rule3)) -> rule4))] Anne is white.[(triple7)] Dave is big.[(triple8)] Dave is cold.[(triple9)] Dave is furry.[(triple10)] Dave is nice.[(triple11)] Dave is red.[(triple12 OR ((triple13) -> rule2) OR ((triple8 triple11) -> rule3))] Dave is round.[(triple13 OR ((triple12) -> rule4) OR ((((triple8 triple11) -> rule3)) -> rule4))] Dave is white.[(triple14)]