Anne is cold. Anne is nice. Anne is smart. Anne is white. Charlie is cold. Charlie is rough. Charlie is white. Gary is big. Gary is cold. Gary is kind. Gary is smart. Gary is white. All big, kind things are nice. If Gary is nice and Gary is smart then Gary is white.
Anne is not kind.
@0: Anne is cold.[(triple1)] Anne is nice.[(triple2)] Anne is smart.[(triple3)] Anne is white.[(triple4)] Charlie is cold.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Gary is big.[(triple8)] Gary is cold.[(triple9)] Gary is kind.[(triple10)] Gary is smart.[(triple11)] Gary is white.[(triple12 OR ((((triple8 triple10) -> rule1) triple11) -> rule2))] @1: Gary is nice.[(((triple8 triple10) -> rule1))]