Charlie is not cold. Charlie is nice. Charlie is round. Charlie is white. Erin is cold. Erin is nice. Erin is quiet. Erin is not round. Erin is white. Erin is young. Fiona is not quiet. Fiona is not white. Harry is cold. Harry is nice. Harry is quiet. Harry is young. Nice, young people are white. Quiet, cold people are not furry.
Charlie is round.
@0: Charlie is nice.[(triple2)] Charlie is not cold.[(triple1)] Charlie is round.[(triple3)] Charlie is white.[(triple4)] Erin is cold.[(triple5)] Erin is nice.[(triple6)] Erin is not round.[(triple8)] Erin is quiet.[(triple7)] Erin is white.[(triple9 OR ((triple6 triple10) -> rule1))] Erin is young.[(triple10)] Fiona is not quiet.[(triple11)] Fiona is not white.[(triple12)] Harry is cold.[(triple13)] Harry is nice.[(triple14)] Harry is quiet.[(triple15)] Harry is young.[(triple16)] @1: Erin is not furry.[(((triple7 triple5) -> rule2))] Harry is not furry.[(((triple15 triple13) -> rule2))] Harry is white.[(((triple14 triple16) -> rule1))]