Charlie is cold. Charlie is not quiet. Dave is blue. Dave is cold. Dave is quiet. Erin is kind. Fiona is blue. Fiona is not cold. Fiona is kind. Fiona is round. Quiet, white things are blue. If something is cold then it is blue. If Dave is white then Dave is not kind. Quiet, nice things are white. Quiet, blue things are round. If Fiona is kind and Fiona is white then Fiona is blue. If Charlie is kind and Charlie is not cold then Charlie is blue. If Erin is quiet and Erin is kind then Erin is nice. Kind things are quiet.
Charlie is white.
@0: Charlie is cold.[(triple1)] Charlie is not quiet.[(triple2)] Dave is blue.[(triple3 OR ((triple4) -> rule2))] Dave is cold.[(triple4)] Dave is quiet.[(triple5)] Erin is kind.[(triple6)] Fiona is blue.[(triple7)] Fiona is kind.[(triple9)] Fiona is not cold.[(triple8)] Fiona is round.[(triple10 OR ((((triple9) -> rule9) triple7) -> rule5))] @1: Charlie is blue.[(((triple1) -> rule2))] Dave is round.[(((triple5 triple3) -> rule5) OR ((triple5 ((triple4) -> rule2)) -> rule5))] Erin is quiet.[(((triple6) -> rule9))] Fiona is quiet.[(((triple9) -> rule9))] @2: Erin is nice.[(((((triple6) -> rule9) triple6) -> rule8))] @3: Erin is white.[(((((triple6) -> rule9) ((((triple6) -> rule9) triple6) -> rule8)) -> rule4))] @4: Erin is blue.[(((((triple6) -> rule9) ((((triple6) -> rule9) ((((triple6) -> rule9) triple6) -> rule8)) -> rule4)) -> rule1))] @5: Erin is round.[(((((triple6) -> rule9) ((((triple6) -> rule9) ((((triple6) -> rule9) ((((triple6) -> rule9) triple6) -> rule8)) -> rule4)) -> rule1)) -> rule5))]