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