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