Anne is big. Anne is not cold. Anne is nice. Anne is rough. Anne is not round. Anne is not white. Bob is cold. Bob is smart. Bob is white. Gary is big. Gary is not cold. Gary is smart. Big things are smart.
Anne is not smart.
@0: Anne is big.[(triple1)] Anne is nice.[(triple3)] Anne is not cold.[(triple2)] Anne is not round.[(triple5)] Anne is not white.[(triple6)] Anne is rough.[(triple4)] Bob is cold.[(triple7)] Bob is smart.[(triple8)] Bob is white.[(triple9)] Gary is big.[(triple10)] Gary is not cold.[(triple11)] Gary is smart.[(triple12 OR ((triple10) -> rule1))] @1: Anne is smart.[(((triple1) -> rule1))]