Anne is smart. Bob is cold. Bob is quiet. All quiet people are smart. If someone is white then they are quiet. Quiet people are cold. Nice people are smart. All smart people are white. White people are round.
Bob is nice.
@0: Anne is smart.[(triple1)] Bob is cold.[(triple2 OR ((triple3) -> rule3))] Bob is quiet.[(triple3)] @1: Anne is white.[(((triple1) -> rule5))] Bob is smart.[(((triple3) -> rule1))] @2: Anne is quiet.[(((((triple1) -> rule5)) -> rule2))] Anne is round.[(((((triple1) -> rule5)) -> rule6))] Bob is white.[(((((triple3) -> rule1)) -> rule5))] @3: Anne is cold.[(((((((triple1) -> rule5)) -> rule2)) -> rule3))] Bob is round.[(((((((triple3) -> rule1)) -> rule5)) -> rule6))]