Anne is blue. Anne is not furry. Anne is not nice. Anne is red. Anne is rough. Anne is round. Gary is furry. Gary is nice. Gary is quiet. Gary is red. Gary is round. Harry is blue. Harry is quiet. Harry is not red. Harry is rough. All round, quiet things are not blue. If Gary is not nice then Gary is furry.
Anne is blue.
@0: Anne is blue.[(triple1)] Anne is not furry.[(triple2)] Anne is not nice.[(triple3)] Anne is red.[(triple4)] Anne is rough.[(triple5)] Anne is round.[(triple6)] Gary is furry.[(triple7)] Gary is nice.[(triple8)] Gary is quiet.[(triple9)] Gary is red.[(triple10)] Gary is round.[(triple11)] Harry is blue.[(triple12)] Harry is not red.[(triple14)] Harry is quiet.[(triple13)] Harry is rough.[(triple15)] @1: Gary is not blue.[(((triple11 triple9) -> rule1))]