Gary is big. Gary is blue. Gary is kind. Gary is not red. Gary is rough. Gary is white. Harry is blue. Harry is red. Harry is not rough. Harry is white. If Gary is rough and Gary is not big then Gary is not blue. White people are nice. All big people are nice. If Gary is red then Gary is rough. If Harry is nice then Harry is big. If Harry is nice and Harry is not big then Harry is blue.
Harry is not white.
@0: Gary is big.[(triple1)] Gary is blue.[(triple2)] Gary is kind.[(triple3)] Gary is not red.[(triple4)] Gary is rough.[(triple5)] Gary is white.[(triple6)] Harry is blue.[(triple7)] Harry is not rough.[(triple9)] Harry is red.[(triple8)] Harry is white.[(triple10)] @1: Gary is nice.[(((triple1) -> rule3) OR ((triple6) -> rule2))] Harry is nice.[(((triple10) -> rule2))] @2: Harry is big.[(((((triple10) -> rule2)) -> rule5))]