Bob is big. Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is round. Bob is young. Gary is furry. Gary is green. Gary is nice. Gary is quiet. Gary is round. If Bob is round and Bob is big then Bob is green. Nice people are quiet.
Gary is big.
@0: Bob is big.[(triple1)] Bob is furry.[(triple2)] Bob is green.[(triple3 OR ((triple6 triple1) -> rule1))] Bob is nice.[(triple4)] Bob is quiet.[(triple5 OR ((triple4) -> rule2))] Bob is round.[(triple6)] Bob is young.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is nice.[(triple10)] Gary is quiet.[(triple11 OR ((triple10) -> rule2))] Gary is round.[(triple12)]