Anne is big. Anne is blue. Anne is kind. Anne is rough. Anne is smart. Anne is white. Dave is smart. Dave is white. Gary is blue. Gary is rough. Harry is big. Harry is blue. Harry is nice. Harry is smart. Harry is white. Blue, white people are nice. If someone is nice then they are blue.
Gary is big.
@0: Anne is big.[(triple1)] Anne is blue.[(triple2)] Anne is kind.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is white.[(triple6)] Dave is smart.[(triple7)] Dave is white.[(triple8)] Gary is blue.[(triple9)] Gary is rough.[(triple10)] Harry is big.[(triple11)] Harry is blue.[(triple12 OR ((triple13) -> rule2))] Harry is nice.[(triple13 OR ((triple12 triple15) -> rule1))] Harry is smart.[(triple14)] Harry is white.[(triple15)] @1: Anne is nice.[(((triple2 triple6) -> rule1))]