Anne is big. Anne is smart. Charlie is big. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is white. Gary is big. Gary is blue. Gary is quiet. Gary is rough. Gary is smart. If something is kind and quiet then it is smart. If something is white and blue then it is rough.
Gary is not smart.
@0: Anne is big.[(triple1)] Anne is smart.[(triple2)] Charlie is big.[(triple3)] Charlie is kind.[(triple4)] Charlie is quiet.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is quiet.[(triple10)] Gary is rough.[(triple11)] Gary is smart.[(triple12)] @1: Charlie is smart.[(((triple4 triple5) -> rule1))]