Anne is not blue. Anne is green. Anne is nice. Anne is not round. Anne is smart. Anne is white. Anne is young. Bob is blue. Bob is green. Bob is not nice. Bob is round. Bob is smart. Bob is white. Bob is young. If Bob is nice then Bob is smart. All white things are smart. All nice things are young. If something is round and not smart then it is not green. All blue things are green. If something is round and not young then it is not blue. Blue, young things are round. Blue things are round.
Anne is not round.
@0: Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is not blue.[(triple1)] Anne is not round.[(triple4)] Anne is smart.[(triple5 OR ((triple6) -> rule2))] Anne is white.[(triple6)] Anne is young.[(triple7 OR ((triple3) -> rule3))] Bob is blue.[(triple8)] Bob is green.[(triple9 OR ((triple8) -> rule5))] Bob is not nice.[(triple10)] Bob is round.[(triple11 OR ((triple8) -> rule8) OR ((triple8 triple14) -> rule7))] Bob is smart.[(triple12 OR ((triple13) -> rule2))] Bob is white.[(triple13)] Bob is young.[(triple14)]