Anne is not cold. Anne is kind. Anne is round. Charlie is blue. Charlie is not kind. Charlie is nice. Charlie is red. Charlie is round. Erin is cold. Erin is not red. If someone is kind then they are red. If Erin is not cold then Erin is big. If Erin is cold then Erin is not kind. All big, cold people are nice. If someone is kind and not red then they are nice. If someone is nice and not kind then they are big.
Anne is not cold.
@0: Anne is kind.[(triple2)] Anne is not cold.[(triple1)] Anne is round.[(triple3)] Charlie is blue.[(triple4)] Charlie is nice.[(triple6)] Charlie is not kind.[(triple5)] Charlie is red.[(triple7)] Charlie is round.[(triple8)] Erin is cold.[(triple9)] Erin is not red.[(triple10)] @1: Anne is red.[(((triple2) -> rule1))] Charlie is big.[(((triple6 triple5) -> rule6))] Erin is not kind.[(((triple9) -> rule3))]