Anne is blue. Anne is rough. Anne is smart. Bob is blue. Bob is kind. Bob is rough. Bob is smart. Gary is big. Gary is not blue. Gary is green. Gary is not smart. Gary is white. Smart things are not big.
Gary is not big.
@0: Anne is blue.[(triple1)] Anne is rough.[(triple2)] Anne is smart.[(triple3)] Bob is blue.[(triple4)] Bob is kind.[(triple5)] Bob is rough.[(triple6)] Bob is smart.[(triple7)] Gary is big.[(triple8)] Gary is green.[(triple10)] Gary is not blue.[(triple9)] Gary is not smart.[(triple11)] Gary is white.[(triple12)] @1: Anne is not big.[(((triple3) -> rule1))] Bob is not big.[(((triple7) -> rule1))]