Charlie is big. Charlie is not blue. Charlie is cold. Charlie is nice. Charlie is quiet. Dave is not quiet. Dave is not white. Erin is big. Erin is blue. Erin is cold. Erin is nice. Erin is quiet. Erin is not round. Fiona is big. Fiona is blue. Fiona is not quiet. If Charlie is round then Charlie is not nice. All round things are cold. If something is white and cold then it is nice. If Fiona is quiet and Fiona is white then Fiona is cold. Big things are white. If Fiona is white and Fiona is not cold then Fiona is nice.
Dave is not white.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4 OR ((((triple1) -> rule5) triple3) -> rule3))] Charlie is not blue.[(triple2)] Charlie is quiet.[(triple5)] Dave is not quiet.[(triple6)] Dave is not white.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is cold.[(triple10)] Erin is nice.[(triple11 OR ((((triple8) -> rule5) triple10) -> rule3))] Erin is not round.[(triple13)] Erin is quiet.[(triple12)] Fiona is big.[(triple14)] Fiona is blue.[(triple15)] Fiona is not quiet.[(triple16)] @1: Charlie is white.[(((triple1) -> rule5))] Erin is white.[(((triple8) -> rule5))] Fiona is white.[(((triple14) -> rule5))]