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