Charlie is cold. Charlie is kind. Charlie is round. Charlie is white. Erin is green. Erin is quiet. Erin is rough. Fiona is cold. Fiona is kind. Fiona is round. Gary is green. Gary is quiet. Gary is rough. Gary is round. Gary is white. Kind things are white. If something is cold then it is rough. All green, kind things are rough. All white, green things are quiet. All rough things are green. All quiet things are rough.
Fiona is not quiet.
@0: Charlie is cold.[(triple1)] Charlie is kind.[(triple2)] Charlie is round.[(triple3)] Charlie is white.[(triple4 OR ((triple2) -> rule1))] Erin is green.[(triple5 OR ((triple7) -> rule5) OR ((((triple6) -> rule6)) -> rule5))] Erin is quiet.[(triple6)] Erin is rough.[(triple7 OR ((triple6) -> rule6))] Fiona is cold.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10)] Gary is green.[(triple11 OR ((triple13) -> rule5) OR ((((triple12) -> rule6)) -> rule5))] Gary is quiet.[(triple12 OR ((triple15 triple11) -> rule4) OR ((triple15 ((triple13) -> rule5)) -> rule4))] Gary is rough.[(triple13 OR ((triple12) -> rule6) OR ((((triple15 triple11) -> rule4)) -> rule6))] Gary is round.[(triple14)] Gary is white.[(triple15)] @1: Charlie is rough.[(((triple1) -> rule2))] Fiona is rough.[(((triple8) -> rule2))] Fiona is white.[(((triple9) -> rule1))] @2: Charlie is green.[(((((triple1) -> rule2)) -> rule5))] Fiona is green.[(((((triple8) -> rule2)) -> rule5))] @3: Charlie is quiet.[(((triple4 ((((triple1) -> rule2)) -> rule5)) -> rule4) OR ((((triple2) -> rule1) ((((triple1) -> rule2)) -> rule5)) -> rule4))] Fiona is quiet.[(((((triple9) -> rule1) ((((triple8) -> rule2)) -> rule5)) -> rule4))]