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