Anne is blue. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is white. Anne is young. Dave is blue. Dave is nice. Dave is red. Dave is round. Dave is smart. Dave is white. Dave is young. If someone is white and not red then they are smart. If someone is red then they are smart. If someone is nice and not white then they are not smart. If someone is round and nice then they are smart. Red people are smart. If Anne is not young and Anne is not blue then Anne is nice.
Anne is red.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple3) -> rule2) OR ((triple3) -> rule5) OR ((triple4 triple2) -> rule4))] Anne is white.[(triple6)] Anne is young.[(triple7)] Dave is blue.[(triple8)] Dave is nice.[(triple9)] Dave is red.[(triple10)] Dave is round.[(triple11)] Dave is smart.[(triple12 OR ((triple10) -> rule2) OR ((triple10) -> rule5) OR ((triple11 triple9) -> rule4))] Dave is white.[(triple13)] Dave is young.[(triple14)]