Anne is not furry. Anne is green. Anne is quiet. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is not round. Erin is cold. Erin is not furry. Erin is kind. Erin is round. If something is cold then it is green. Green things are quiet.
Charlie is not furry.
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1)] Anne is quiet.[(triple3 OR ((triple2) -> rule2))] Charlie is cold.[(triple4)] Charlie is kind.[(triple5)] Charlie is not round.[(triple8)] Charlie is quiet.[(triple6 OR ((((triple4) -> rule1)) -> rule2))] Charlie is rough.[(triple7)] Erin is cold.[(triple9)] Erin is kind.[(triple11)] Erin is not furry.[(triple10)] Erin is round.[(triple12)] @1: Charlie is green.[(((triple4) -> rule1))] Erin is green.[(((triple9) -> rule1))] @2: Erin is quiet.[(((((triple9) -> rule1)) -> rule2))]