Anne is cold. Charlie is big. Dave is big. Dave is cold. Dave is nice. Dave is red. Fiona is big. Fiona is green. Fiona is nice. Fiona is white. If someone is green and nice then they are big. Red, big people are white. If someone is red and quiet then they are big. All big, nice people are quiet. If someone is cold then they are nice. Cold people are green.
Charlie is quiet.
@0: Anne is cold.[(triple1)] Charlie is big.[(triple2)] Dave is big.[(triple3 OR ((((triple4) -> rule6) triple5) -> rule1) OR ((((triple4) -> rule6) ((triple4) -> rule5)) -> rule1))] Dave is cold.[(triple4)] Dave is nice.[(triple5 OR ((triple4) -> rule5))] Dave is red.[(triple6)] Fiona is big.[(triple7 OR ((triple8 triple9) -> rule1))] Fiona is green.[(triple8)] Fiona is nice.[(triple9)] Fiona is white.[(triple10)] @1: Anne is green.[(((triple1) -> rule6))] Anne is nice.[(((triple1) -> rule5))] Dave is green.[(((triple4) -> rule6))] Dave is quiet.[(((triple3 triple5) -> rule4) OR ((triple3 ((triple4) -> rule5)) -> rule4) OR ((((((triple4) -> rule6) triple5) -> rule1) triple5) -> rule4) OR ((((((triple4) -> rule6) triple5) -> rule1) ((triple4) -> rule5)) -> rule4) OR ((((((triple4) -> rule6) ((triple4) -> rule5)) -> rule1) triple5) -> rule4) OR ((((((triple4) -> rule6) ((triple4) -> rule5)) -> rule1) ((triple4) -> rule5)) -> rule4))] Dave is white.[(((triple6 triple3) -> rule2) OR ((triple6 ((((triple4) -> rule6) triple5) -> rule1)) -> rule2) OR ((triple6 ((((triple4) -> rule6) ((triple4) -> rule5)) -> rule1)) -> rule2))] Fiona is quiet.[(((triple7 triple9) -> rule4) OR ((((triple8 triple9) -> rule1) triple9) -> rule4))] @2: Anne is big.[(((((triple1) -> rule6) ((triple1) -> rule5)) -> rule1))] @3: Anne is quiet.[(((((((triple1) -> rule6) ((triple1) -> rule5)) -> rule1) ((triple1) -> rule5)) -> rule4))]