Anne is big. Anne is blue. Anne is green. Anne is round. Anne is smart. Anne is white. Anne is young. Bob is big. Bob is blue. Bob is green. Bob is round. Bob is smart. If someone is smart then they are white.
Bob is white.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is green.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6 OR ((triple5) -> rule1))] Anne is young.[(triple7)] Bob is big.[(triple8)] Bob is blue.[(triple9)] Bob is green.[(triple10)] Bob is round.[(triple11)] Bob is smart.[(triple12)] @1: Bob is white.[(((triple12) -> rule1))]