Anne is not blue. Anne is green. Anne is quiet. Anne is smart. Bob is blue. Bob is quiet. Bob is round. Bob is young. Dave is blue. Dave is quiet. Dave is red. Dave is round. All young people are green. Green people are red. If someone is quiet and green then they are smart.
Anne is not red.
@0: Anne is green.[(triple2)] Anne is not blue.[(triple1)] Anne is quiet.[(triple3)] Anne is smart.[(triple4 OR ((triple3 triple2) -> rule3))] Bob is blue.[(triple5)] Bob is quiet.[(triple6)] Bob is round.[(triple7)] Bob is young.[(triple8)] Dave is blue.[(triple9)] Dave is quiet.[(triple10)] Dave is red.[(triple11)] Dave is round.[(triple12)] @1: Anne is red.[(((triple2) -> rule2))] Bob is green.[(((triple8) -> rule1))] @2: Bob is red.[(((((triple8) -> rule1)) -> rule2))] Bob is smart.[(((triple6 ((triple8) -> rule1)) -> rule3))]