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