Bob is big. Bob is green. Bob is rough. Gary is big. Gary is green. Gary is quiet. Gary is smart. Smart things are blue. All rough, big things are not young.
Gary is young.
@0: Bob is big.[(triple1)] Bob is green.[(triple2)] Bob is rough.[(triple3)] Gary is big.[(triple4)] Gary is green.[(triple5)] Gary is quiet.[(triple6)] Gary is smart.[(triple7)] @1: Bob is not young.[(((triple3 triple1) -> rule2))] Gary is blue.[(((triple7) -> rule1))]