Anne is big. Anne is green. Anne is nice. Anne is not young. Gary is not green. Gary is kind. Gary is nice. Gary is not red. Gary is white. Gary is young. Harry is big. Harry is not green. Harry is not nice. Harry is red. Harry is young. If something is green then it is nice. If something is white and not green then it is nice. All green things are nice. All kind, young things are big. If something is nice and not kind then it is white. If something is white and not kind then it is red. If something is nice and not big then it is not red. Young, green things are not red.
Gary is not nice.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3 OR ((triple2) -> rule1) OR ((triple2) -> rule3))] Anne is not young.[(triple4)] Gary is kind.[(triple6)] Gary is nice.[(triple7 OR ((triple9 triple5) -> rule2))] Gary is not green.[(triple5)] Gary is not red.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] Harry is big.[(triple11)] Harry is not green.[(triple12)] Harry is not nice.[(triple13)] Harry is red.[(triple14)] Harry is young.[(triple15)] @1: Gary is big.[(((triple6 triple10) -> rule4))]