Charlie is not kind. Charlie is not quiet. Charlie is not round. Charlie is not white. Dave is kind. Dave is red. Dave is not round. Fiona is cold. Fiona is not round. Fiona is white. If someone is smart then they are round. All white people are cold. Quiet people are white. If someone is cold then they are white. If Charlie is kind then Charlie is quiet. If someone is kind then they are quiet.
Dave is not white.
@0: Charlie is not kind.[(triple1)] Charlie is not quiet.[(triple2)] Charlie is not round.[(triple3)] Charlie is not white.[(triple4)] Dave is kind.[(triple5)] Dave is not round.[(triple7)] Dave is red.[(triple6)] Fiona is cold.[(triple8 OR ((triple10) -> rule2))] Fiona is not round.[(triple9)] Fiona is white.[(triple10 OR ((triple8) -> rule4))] @1: Dave is quiet.[(((triple5) -> rule6))] @2: Dave is white.[(((((triple5) -> rule6)) -> rule3))] @3: Dave is cold.[(((((((triple5) -> rule6)) -> rule3)) -> rule2))]