Anne is cold. Anne is green. Anne is red. Dave is big. Dave is blue. Dave is cold. Dave is green. Dave is nice. Dave is red. Dave is white. If someone is red then they are big. If someone is green then they are cold. If someone is blue then they are nice. If Anne is green and Anne is nice then Anne is red. If Dave is green and Dave is white then Dave is blue. Red people are green.
Anne is not big.
@0: Anne is cold.[(triple1 OR ((triple2) -> rule2) OR ((((triple3) -> rule6)) -> rule2))] Anne is green.[(triple2 OR ((triple3) -> rule6))] Anne is red.[(triple3)] Dave is big.[(triple4 OR ((triple9) -> rule1))] Dave is blue.[(triple5 OR ((triple7 triple10) -> rule5) OR ((((triple9) -> rule6) triple10) -> rule5))] Dave is cold.[(triple6 OR ((triple7) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] Dave is green.[(triple7 OR ((triple9) -> rule6))] Dave is nice.[(triple8 OR ((triple5) -> rule3) OR ((((triple7 triple10) -> rule5)) -> rule3) OR ((((((triple9) -> rule6) triple10) -> rule5)) -> rule3))] Dave is red.[(triple9)] Dave is white.[(triple10)] @1: Anne is big.[(((triple3) -> rule1))]