Anne is furry. Anne is red. Anne is round. Gary is red. Gary is white. Harry is blue. Harry is not nice. Harry is red. Harry is round. Harry is not white. If someone is red and not round then they are not nice. If Harry is white then Harry is not blue. Blue people are young. All nice people are white. All young, nice people are not white. If someone is furry then they are blue. Round people are red. Furry people are red.
Gary is nice.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2 OR ((triple1) -> rule8) OR ((triple3) -> rule7))] Anne is round.[(triple3)] Gary is red.[(triple4)] Gary is white.[(triple5)] Harry is blue.[(triple6)] Harry is not nice.[(triple7)] Harry is not white.[(triple10)] Harry is red.[(triple8 OR ((triple9) -> rule7))] Harry is round.[(triple9)] @1: Anne is blue.[(((triple1) -> rule6))] Harry is young.[(((triple6) -> rule3))] @2: Anne is young.[(((((triple1) -> rule6)) -> rule3))]