Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is smart. Bob is not white. Bob is young. If something is white then it is young. All cold, green things are young. If something is white and not green then it is blue. Green things are cold. Blue things are cold. If something is blue then it is smart. If Bob is not cold then Bob is red. If Bob is red and Bob is not white then Bob is young.
Bob is cold.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2 OR ((triple1) -> rule5) OR ((triple3) -> rule4))] Bob is green.[(triple3)] Bob is not white.[(triple6)] Bob is red.[(triple4)] Bob is smart.[(triple5 OR ((triple1) -> rule6))] Bob is young.[(triple7 OR ((triple2 triple3) -> rule2) OR ((triple4 triple6) -> rule8) OR ((((triple1) -> rule5) triple3) -> rule2) OR ((((triple3) -> rule4) triple3) -> rule2))]