Anne is big. Anne is furry. Bob is rough. Gary is big. Gary is red. Gary is rough. Gary is smart. All cold people are smart. All red people are nice.
Anne is big.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2)] Bob is rough.[(triple3)] Gary is big.[(triple4)] Gary is red.[(triple5)] Gary is rough.[(triple6)] Gary is smart.[(triple7)] @1: Gary is nice.[(((triple5) -> rule2))]