Anne is blue. Anne is nice. Anne is red. Bob is blue. Bob is green. Bob is nice. Bob is red. Bob is round. Charlie is furry. Charlie is green. Harry is furry. Harry is green. Harry is red. Harry is round. Harry is white. All red things are round. If something is furry and blue then it is nice. Blue things are red.
Charlie is not nice.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((triple1) -> rule3))] Bob is blue.[(triple4)] Bob is green.[(triple5)] Bob is nice.[(triple6)] Bob is red.[(triple7 OR ((triple4) -> rule3))] Bob is round.[(triple8 OR ((triple7) -> rule1) OR ((((triple4) -> rule3)) -> rule1))] Charlie is furry.[(triple9)] Charlie is green.[(triple10)] Harry is furry.[(triple11)] Harry is green.[(triple12)] Harry is red.[(triple13)] Harry is round.[(triple14 OR ((triple13) -> rule1))] Harry is white.[(triple15)] @1: Anne is round.[(((triple3) -> rule1) OR ((((triple1) -> rule3)) -> rule1))]