Anne is kind. Anne is not nice. Anne is not red. Gary is big. Gary is blue. Gary is kind. Gary is red. If something is big then it is not furry. If something is kind and rough then it is red. If Anne is kind and Anne is nice then Anne is furry. All blue things are kind. If something is rough and red then it is big. If something is rough and big then it is nice.
Gary is not furry.
@0: Anne is kind.[(triple1)] Anne is not nice.[(triple2)] Anne is not red.[(triple3)] Gary is big.[(triple4)] Gary is blue.[(triple5)] Gary is kind.[(triple6 OR ((triple5) -> rule4))] Gary is red.[(triple7)] @1: Gary is not furry.[(((triple4) -> rule1))]