Bob is big. Bob is blue. Bob is not cold. Bob is green. Bob is rough. Bob is smart. Bob is white. If someone is cold then they are not blue. All blue people are smart. If someone is rough and not blue then they are big. If someone is smart and big then they are rough. Big people are rough. If someone is rough and not blue then they are white.
Bob is cold.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is green.[(triple4)] Bob is not cold.[(triple3)] Bob is rough.[(triple5 OR ((triple1) -> rule5) OR ((triple6 triple1) -> rule4) OR ((((triple2) -> rule2) triple1) -> rule4))] Bob is smart.[(triple6 OR ((triple2) -> rule2))] Bob is white.[(triple7)]