Anne is cold. Anne is green. Anne is round. Anne is smart. Anne is white. Anne is young. Bob is cold. Bob is furry. Bob is white. Bob is young. If Bob is round and Bob is cold then Bob is young. Round, smart things are white. If Anne is cold and Anne is white then Anne is green. If something is cold and green then it is round. If Anne is cold and Anne is furry then Anne is round. If something is young and green then it is white.
Bob is not white.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2 OR ((triple1 triple5) -> rule3) OR ((triple1 ((triple3 triple4) -> rule2)) -> rule3))] Anne is round.[(triple3 OR ((triple1 triple2) -> rule4) OR ((triple1 ((triple1 triple5) -> rule3)) -> rule4))] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple3 triple4) -> rule2) OR ((triple6 triple2) -> rule6) OR ((((triple1 triple2) -> rule4) triple4) -> rule2))] Anne is young.[(triple6)] Bob is cold.[(triple7)] Bob is furry.[(triple8)] Bob is white.[(triple9)] Bob is young.[(triple10)]