Bob is big. Bob is rough. Bob is round. Bob is young. Gary is big. Gary is nice. Gary is round. All young, big things are round. If something is big and round then it is young.
Bob is rough.
@0: Bob is big.[(triple1)] Bob is rough.[(triple2)] Bob is round.[(triple3 OR ((triple4 triple1) -> rule1))] Bob is young.[(triple4 OR ((triple1 triple3) -> rule2))] Gary is big.[(triple5)] Gary is nice.[(triple6)] Gary is round.[(triple7)] @1: Gary is young.[(((triple5 triple7) -> rule2))]