Bob is blue. Bob is cold. Bob is nice. Bob is red. Bob is round. Bob is smart. Bob is white. If someone is red and cold then they are smart. All cold people are white.
Bob is not white.
@0: Bob is blue.[(triple1)] Bob is cold.[(triple2)] Bob is nice.[(triple3)] Bob is red.[(triple4)] Bob is round.[(triple5)] Bob is smart.[(triple6 OR ((triple4 triple2) -> rule1))] Bob is white.[(triple7 OR ((triple2) -> rule2))]