Anne is cold. Anne is green. Anne is nice. Anne is smart. Charlie is cold. Charlie is not furry. Charlie is green. Charlie is not nice. Charlie is not red. Charlie is round. Charlie is smart. Erin is furry. Erin is green. Erin is not nice. Erin is round. All furry things are smart. If Charlie is furry and Charlie is not cold then Charlie is red. If something is furry and not smart then it is nice.
Anne is round.
@0: Anne is cold.[(triple1)] Anne is green.[(triple2)] Anne is nice.[(triple3)] Anne is smart.[(triple4)] Charlie is cold.[(triple5)] Charlie is green.[(triple7)] Charlie is not furry.[(triple6)] Charlie is not nice.[(triple8)] Charlie is not red.[(triple9)] Charlie is round.[(triple10)] Charlie is smart.[(triple11)] Erin is furry.[(triple12)] Erin is green.[(triple13)] Erin is not nice.[(triple14)] Erin is round.[(triple15)] @1: Erin is smart.[(((triple12) -> rule1))]