Bob is red. Dave is big. Dave is smart. If something is red then it is white. If something is cold then it is quiet. All smart things are big. If something is quiet then it is smart. If something is white then it is cold. All white things are cold.
Bob is not white.
@0: Bob is red.[(triple1)] Dave is big.[(triple2 OR ((triple3) -> rule3))] Dave is smart.[(triple3)] @1: Bob is white.[(((triple1) -> rule1))] @2: Bob is cold.[(((((triple1) -> rule1)) -> rule5) OR ((((triple1) -> rule1)) -> rule6))] @3: Bob is quiet.[(((((((triple1) -> rule1)) -> rule5)) -> rule2) OR ((((((triple1) -> rule1)) -> rule6)) -> rule2))] @4: Bob is smart.[(((((((((triple1) -> rule1)) -> rule5)) -> rule2)) -> rule4) OR ((((((((triple1) -> rule1)) -> rule6)) -> rule2)) -> rule4))] @5: Bob is big.[(((((((((((triple1) -> rule1)) -> rule5)) -> rule2)) -> rule4)) -> rule3) OR ((((((((((triple1) -> rule1)) -> rule6)) -> rule2)) -> rule4)) -> rule3))]