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