Anne is cold. Anne is rough. Charlie is quiet. Charlie is not rough. Charlie is young. Fiona is cold. Fiona is quiet. Gary is rough. Gary is white. Gary is young. If someone is young and not kind then they are not white. All quiet, green people are white. If someone is cold then they are green. If someone is kind then they are not green. All quiet people are green. All cold people are quiet. All white people are cold. If someone is quiet and kind then they are cold.
Anne is white.
@0: Anne is cold.[(triple1)] Anne is rough.[(triple2)] Charlie is not rough.[(triple4)] Charlie is quiet.[(triple3)] Charlie is young.[(triple5)] Fiona is cold.[(triple6 OR ((((triple7 ((triple7) -> rule5)) -> rule2)) -> rule7))] Fiona is quiet.[(triple7 OR ((triple6) -> rule6))] Gary is rough.[(triple8)] Gary is white.[(triple9)] Gary is young.[(triple10)] @1: Anne is green.[(((triple1) -> rule3) OR ((((triple1) -> rule6)) -> rule5))] Anne is quiet.[(((triple1) -> rule6))] Charlie is green.[(((triple3) -> rule5))] Fiona is green.[(((triple6) -> rule3) OR ((triple7) -> rule5) OR ((((triple6) -> rule6)) -> rule5))] Gary is cold.[(((triple9) -> rule7))] @2: Anne is white.[(((((triple1) -> rule6) ((triple1) -> rule3)) -> rule2) OR ((((triple1) -> rule6) ((((triple1) -> rule6)) -> rule5)) -> rule2))] Charlie is white.[(((triple3 ((triple3) -> rule5)) -> rule2))] Fiona is white.[(((triple7 ((triple6) -> rule3)) -> rule2) OR ((triple7 ((triple7) -> rule5)) -> rule2) OR ((((triple6) -> rule6) ((triple6) -> rule3)) -> rule2) OR ((((triple6) -> rule6) ((triple7) -> rule5)) -> rule2) OR ((triple7 ((((triple6) -> rule6)) -> rule5)) -> rule2) OR ((((triple6) -> rule6) ((((triple6) -> rule6)) -> rule5)) -> rule2))] Gary is green.[(((((triple9) -> rule7)) -> rule3) OR ((((((triple9) -> rule7)) -> rule6)) -> rule5))] Gary is quiet.[(((((triple9) -> rule7)) -> rule6))] @3: Charlie is cold.[(((((triple3 ((triple3) -> rule5)) -> rule2)) -> rule7))]