Bob is white. Dave is white. Smart things are not round. All white things are big. All kind things are quiet. If something is big then it is quiet. If something is quiet and smart then it is cold. All big things are smart. If something is cold and big then it is kind. Big things are white.
Dave is not white.
@0: Bob is white.[(triple1)] Dave is white.[(triple2)] @1: Bob is big.[(((triple1) -> rule2))] Dave is big.[(((triple2) -> rule2))] @2: Bob is quiet.[(((((triple1) -> rule2)) -> rule4))] Bob is smart.[(((((triple1) -> rule2)) -> rule6))] Dave is quiet.[(((((triple2) -> rule2)) -> rule4))] Dave is smart.[(((((triple2) -> rule2)) -> rule6))] @3: Bob is cold.[(((((((triple1) -> rule2)) -> rule4) ((((triple1) -> rule2)) -> rule6)) -> rule5))] Bob is not round.[(((((((triple1) -> rule2)) -> rule6)) -> rule1))] Dave is cold.[(((((((triple2) -> rule2)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule5))] Dave is not round.[(((((((triple2) -> rule2)) -> rule6)) -> rule1))] @4: Bob is kind.[(((((((((triple1) -> rule2)) -> rule4) ((((triple1) -> rule2)) -> rule6)) -> rule5) ((triple1) -> rule2)) -> rule7))] Dave is kind.[(((((((((triple2) -> rule2)) -> rule4) ((((triple2) -> rule2)) -> rule6)) -> rule5) ((triple2) -> rule2)) -> rule7))]