Bob is blue. Bob is cold. Bob is green. Bob is red. Bob is rough. Bob is round. Bob is smart. If something is red and smart then it is green. If something is red then it is rough. If something is cold then it is rough. All round things are blue. All cold things are blue. If Bob is blue and Bob is not smart then Bob is green. If Bob is smart and Bob is not red then Bob is not green. If something is green and not red then it is cold.
Bob is cold.
@0: Bob is blue.[(triple1 OR ((triple2) -> rule5) OR ((triple6) -> rule4))] Bob is cold.[(triple2)] Bob is green.[(triple3 OR ((triple4 triple7) -> rule1))] Bob is red.[(triple4)] Bob is rough.[(triple5 OR ((triple2) -> rule3) OR ((triple4) -> rule2))] Bob is round.[(triple6)] Bob is smart.[(triple7)]