Anne is green. Anne is quiet. Anne is smart. Bob is not red. Bob is not round. Bob is smart. Dave is cold. Smart people are not red. If Bob is green then Bob is cold. Green people are nice. Green people are quiet. All smart people are quiet. If Anne is round then Anne is smart. All nice people are cold. If Bob is quiet then Bob is nice.
Dave is not red.
@0: Anne is green.[(triple1)] Anne is quiet.[(triple2 OR ((triple1) -> rule4) OR ((triple3) -> rule5))] Anne is smart.[(triple3)] Bob is not red.[(triple4 OR ((triple6) -> rule1))] Bob is not round.[(triple5)] Bob is smart.[(triple6)] Dave is cold.[(triple7)] @1: Anne is nice.[(((triple1) -> rule3))] Anne is not red.[(((triple3) -> rule1))] Bob is quiet.[(((triple6) -> rule5))] @2: Anne is cold.[(((((triple1) -> rule3)) -> rule7))] Bob is nice.[(((((triple6) -> rule5)) -> rule8))] @3: Bob is cold.[(((((((triple6) -> rule5)) -> rule8)) -> rule7))]