Anne is blue. Charlie is blue. Charlie is not green. Charlie is quiet. Dave is blue. Dave is cold. Dave is rough. Erin is not blue. Erin is cold. Erin is kind. Erin is nice. Erin is quiet. Rough people are kind. All rough, blue people are kind. All cold, blue people are nice. If someone is rough then they are nice. All cold people are rough. If Anne is kind and Anne is nice then Anne is blue. All rough people are green. If someone is cold and not kind then they are green.
Charlie is not kind.
@0: Anne is blue.[(triple1)] Charlie is blue.[(triple2)] Charlie is not green.[(triple3)] Charlie is quiet.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is rough.[(triple7 OR ((triple6) -> rule5))] Erin is cold.[(triple9)] Erin is kind.[(triple10 OR ((((triple9) -> rule5)) -> rule1))] Erin is nice.[(triple11 OR ((((triple9) -> rule5)) -> rule4))] Erin is not blue.[(triple8)] Erin is quiet.[(triple12)] @1: Dave is green.[(((triple7) -> rule7) OR ((((triple6) -> rule5)) -> rule7))] Dave is kind.[(((triple7) -> rule1) OR ((triple7 triple5) -> rule2) OR ((((triple6) -> rule5)) -> rule1) OR ((((triple6) -> rule5) triple5) -> rule2))] Dave is nice.[(((triple7) -> rule4) OR ((triple6 triple5) -> rule3) OR ((((triple6) -> rule5)) -> rule4))] Erin is rough.[(((triple9) -> rule5))] @2: Erin is green.[(((((triple9) -> rule5)) -> rule7))]