Bob is big. Bob is cold. Bob is furry. Bob is kind. Bob is round. Bob is smart. Bob is young. Furry, round people are young. Furry, big people are young. If Bob is cold and Bob is big then Bob is smart.
Bob is not round.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is furry.[(triple3)] Bob is kind.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple2 triple1) -> rule3))] Bob is young.[(triple7 OR ((triple3 triple1) -> rule2) OR ((triple3 triple5) -> rule1))]