Charlie is nice. Charlie is quiet. Charlie is white. Erin is not blue. Erin is nice. Erin is not quiet. Fiona is cold. Fiona is red. Fiona is rough. Fiona is white. Harry is nice. Harry is not quiet. If something is blue and white then it is cold. Nice things are not red. If something is quiet and not white then it is rough. Red things are rough. If Charlie is nice then Charlie is rough. If Fiona is white and Fiona is rough then Fiona is red.
Fiona is nice.
@0: Charlie is nice.[(triple1)] Charlie is quiet.[(triple2)] Charlie is white.[(triple3)] Erin is nice.[(triple5)] Erin is not blue.[(triple4)] Erin is not quiet.[(triple6)] Fiona is cold.[(triple7)] Fiona is red.[(triple8 OR ((triple10 triple9) -> rule6))] Fiona is rough.[(triple9 OR ((triple8) -> rule4))] Fiona is white.[(triple10)] Harry is nice.[(triple11)] Harry is not quiet.[(triple12)] @1: Charlie is not red.[(((triple1) -> rule2))] Charlie is rough.[(((triple1) -> rule5))] Erin is not red.[(((triple5) -> rule2))] Harry is not red.[(((triple11) -> rule2))]