Anne is big. Anne is white. Bob is not nice. Bob is not round. Bob is young. Erin is blue. Harry is blue. Harry is round. Harry is not smart. Harry is young. All young, round people are not smart. All big people are smart. All nice people are smart. If Anne is round and Anne is not nice then Anne is not white. If Bob is round then Bob is not smart. Nice people are round. If someone is white and not young then they are blue. If Bob is round and Bob is not smart then Bob is white.
Bob is big.
@0: Anne is big.[(triple1)] Anne is white.[(triple2)] Bob is not nice.[(triple3)] Bob is not round.[(triple4)] Bob is young.[(triple5)] Erin is blue.[(triple6)] Harry is blue.[(triple7)] Harry is not smart.[(triple9 OR ((triple10 triple8) -> rule1))] Harry is round.[(triple8)] Harry is young.[(triple10)] @1: Anne is smart.[(((triple1) -> rule2))]