Bob is big. Bob is round. Dave is smart. Dave is young. Gary is rough. Gary is round. Gary is young. All big people are rough. If someone is big then they are round. Big, rough people are furry.
Gary is young.
@0: Bob is big.[(triple1)] Bob is round.[(triple2 OR ((triple1) -> rule2))] Dave is smart.[(triple3)] Dave is young.[(triple4)] Gary is rough.[(triple5)] Gary is round.[(triple6)] Gary is young.[(triple7)] @1: Bob is rough.[(((triple1) -> rule1))] @2: Bob is furry.[(((triple1 ((triple1) -> rule1)) -> rule3))]