Anne is red. Charlie is cold. Charlie is furry. Charlie is not kind. Charlie is quiet. Charlie is red. Erin is green. If someone is green and cold then they are kind. If someone is furry then they are not kind. If Charlie is green and Charlie is kind then Charlie is quiet. If someone is furry then they are big. If someone is green and not cold then they are not red. If Erin is quiet and Erin is cold then Erin is big. If Anne is green then Anne is red. If someone is red and not furry then they are green.
Erin is not kind.
@0: Anne is red.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is not kind.[(triple4 OR ((triple3) -> rule2))] Charlie is quiet.[(triple5)] Charlie is red.[(triple6)] Erin is green.[(triple7)] @1: Charlie is big.[(((triple3) -> rule4))]