Anne is blue. Anne is green. Anne is red. Bob is blue. Bob is quiet. Bob is red. Bob is round. Dave is big. Dave is green. Dave is round. Erin is big. Erin is blue. Erin is green. Erin is round. Erin is white. All red, white things are big. If something is red then it is blue. Green things are blue.
Anne is not red.
@0: Anne is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple3) -> rule2))] Anne is green.[(triple2)] Anne is red.[(triple3)] Bob is blue.[(triple4 OR ((triple6) -> rule2))] Bob is quiet.[(triple5)] Bob is red.[(triple6)] Bob is round.[(triple7)] Dave is big.[(triple8)] Dave is green.[(triple9)] Dave is round.[(triple10)] Erin is big.[(triple11)] Erin is blue.[(triple12 OR ((triple13) -> rule3))] Erin is green.[(triple13)] Erin is round.[(triple14)] Erin is white.[(triple15)] @1: Dave is blue.[(((triple9) -> rule3))]