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