Anne is blue. Anne is furry. Anne is quiet. Anne is smart. Gary is blue. Gary is furry. Gary is rough. Gary is round. Harry is furry. Harry is quiet. Harry is rough. Harry is round. Rough things are round. Furry, round things are smart. If something is furry then it is smart. All rough, quiet things are nice. All round things are rough. If something is round and not quiet then it is blue.
Anne is not nice.
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is quiet.[(triple3)] Anne is smart.[(triple4 OR ((triple2) -> rule3))] Gary is blue.[(triple5)] Gary is furry.[(triple6)] Gary is rough.[(triple7 OR ((triple8) -> rule5))] Gary is round.[(triple8 OR ((triple7) -> rule1))] Harry is furry.[(triple9)] Harry is quiet.[(triple10)] Harry is rough.[(triple11 OR ((triple12) -> rule5))] Harry is round.[(triple12 OR ((triple11) -> rule1))] @1: Gary is smart.[(((triple6) -> rule3) OR ((triple6 triple8) -> rule2) OR ((triple6 ((triple7) -> rule1)) -> rule2))] Harry is nice.[(((triple11 triple10) -> rule4) OR ((((triple12) -> rule5) triple10) -> rule4))] Harry is smart.[(((triple9) -> rule3) OR ((triple9 triple12) -> rule2) OR ((triple9 ((triple11) -> rule1)) -> rule2))]