Bob is big. Bob is blue. Bob is cold. Bob is green. Bob is nice. Bob is round. Bob is young. If Bob is big and Bob is young then Bob is round. If something is cold then it is young.
Bob is not green.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is green.[(triple4)] Bob is nice.[(triple5)] Bob is round.[(triple6 OR ((triple1 triple7) -> rule1) OR ((triple1 ((triple3) -> rule2)) -> rule1))] Bob is young.[(triple7 OR ((triple3) -> rule2))]