Anne is blue. Anne is nice. Anne is white. Charlie is blue. Erin is blue. Erin is quiet. Fiona is not cold. Fiona is not kind. Fiona is nice. Fiona is quiet. All cold things are kind. All rough things are kind. Nice, cold things are blue. Nice things are quiet. All blue things are nice. Cold, blue things are nice. Quiet, blue things are cold. Rough, kind things are cold. If something is kind then it is not rough.
Erin is white.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2 OR ((triple1) -> rule5))] Anne is white.[(triple3)] Charlie is blue.[(triple4)] Erin is blue.[(triple5)] Erin is quiet.[(triple6 OR ((((triple5) -> rule5)) -> rule4))] Fiona is nice.[(triple9)] Fiona is not cold.[(triple7)] Fiona is not kind.[(triple8)] Fiona is quiet.[(triple10 OR ((triple9) -> rule4))] @1: Anne is quiet.[(((triple2) -> rule4) OR ((((triple1) -> rule5)) -> rule4))] Charlie is nice.[(((triple4) -> rule5))] Erin is cold.[(((triple6 triple5) -> rule7) OR ((((((triple5) -> rule5)) -> rule4) triple5) -> rule7))] Erin is nice.[(((triple5) -> rule5) OR ((((triple6 triple5) -> rule7) triple5) -> rule6))] @2: Anne is cold.[(((((triple2) -> rule4) triple1) -> rule7) OR ((((((triple1) -> rule5)) -> rule4) triple1) -> rule7))] Charlie is quiet.[(((((triple4) -> rule5)) -> rule4))] Erin is kind.[(((((triple6 triple5) -> rule7)) -> rule1) OR ((((((((triple5) -> rule5)) -> rule4) triple5) -> rule7)) -> rule1))] @3: Anne is kind.[(((((((triple2) -> rule4) triple1) -> rule7)) -> rule1) OR ((((((((triple1) -> rule5)) -> rule4) triple1) -> rule7)) -> rule1))] Charlie is cold.[(((((((triple4) -> rule5)) -> rule4) triple4) -> rule7))] Erin is not rough.[(((((((triple6 triple5) -> rule7)) -> rule1)) -> rule9) OR ((((((((((triple5) -> rule5)) -> rule4) triple5) -> rule7)) -> rule1)) -> rule9))] @4: Anne is not rough.[(((((((((triple2) -> rule4) triple1) -> rule7)) -> rule1)) -> rule9) OR ((((((((((triple1) -> rule5)) -> rule4) triple1) -> rule7)) -> rule1)) -> rule9))] Charlie is kind.[(((((((((triple4) -> rule5)) -> rule4) triple4) -> rule7)) -> rule1))] @5: Charlie is not rough.[(((((((((((triple4) -> rule5)) -> rule4) triple4) -> rule7)) -> rule1)) -> rule9))]