Charlie is red. Dave is quiet. All quiet, white people are not smart. If someone is quiet then they are white. All round people are red. If Charlie is red then Charlie is round. Round people are quiet. Red people are quiet.
Dave is smart.
@0: Charlie is red.[(triple1)] Dave is quiet.[(triple2)] @1: Charlie is quiet.[(((triple1) -> rule6) OR ((((triple1) -> rule4)) -> rule5))] Charlie is round.[(((triple1) -> rule4))] Dave is white.[(((triple2) -> rule2))] @2: Charlie is white.[(((((triple1) -> rule6)) -> rule2) OR ((((((triple1) -> rule4)) -> rule5)) -> rule2))] Dave is not smart.[(((triple2 ((triple2) -> rule2)) -> rule1))] @3: Charlie is not smart.[(((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule2)) -> rule1) OR ((((((triple1) -> rule4)) -> rule5) ((((triple1) -> rule6)) -> rule2)) -> rule1) OR ((((triple1) -> rule6) ((((((triple1) -> rule4)) -> rule5)) -> rule2)) -> rule1) OR ((((((triple1) -> rule4)) -> rule5) ((((((triple1) -> rule4)) -> rule5)) -> rule2)) -> rule1))]