Anne is big. Anne is blue. Anne is green. Anne is red. Anne is round. Anne is not smart. Anne is young. Bob is big. Bob is blue. Bob is green. Bob is not red. Bob is round. Bob is smart. Bob is young. Young things are big. If Anne is young and Anne is green then Anne is round. Smart things are round. Green, red things are blue. If something is red and not young then it is blue. If something is blue and not round then it is red.
Bob is red.
@0: Anne is big.[(triple1 OR ((triple7) -> rule1))] Anne is blue.[(triple2 OR ((triple3 triple4) -> rule4))] Anne is green.[(triple3)] Anne is not smart.[(triple6)] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple7 triple3) -> rule2))] Anne is young.[(triple7)] Bob is big.[(triple8 OR ((triple14) -> rule1))] Bob is blue.[(triple9)] Bob is green.[(triple10)] Bob is not red.[(triple11)] Bob is round.[(triple12 OR ((triple13) -> rule3))] Bob is smart.[(triple13)] Bob is young.[(triple14)]