Bob is young. Gary is not cold. Gary is not young. If someone is young then they are kind. Nice people are not kind. If someone is cold then they are kind. If someone is nice and not young then they are big. If someone is kind and white then they are big. If Bob is young and Bob is big then Bob is not smart. All cold, white people are smart. If Bob is young then Bob is white.
Bob is cold.
@0: Bob is young.[(triple1)] Gary is not cold.[(triple2)] Gary is not young.[(triple3)] @1: Bob is kind.[(((triple1) -> rule1))] Bob is white.[(((triple1) -> rule8))] @2: Bob is big.[(((((triple1) -> rule1) ((triple1) -> rule8)) -> rule5))] @3: Bob is not smart.[(((triple1 ((((triple1) -> rule1) ((triple1) -> rule8)) -> rule5)) -> rule6))]