Anne is furry. Anne is kind. Anne is not nice. Anne is quiet. Charlie is green. Erin is furry. Erin is nice. Erin is round. Fiona is furry. Fiona is kind. Fiona is not nice. Fiona is round. If someone is green then they are not round. If Charlie is round then Charlie is kind. If Erin is green then Erin is quiet. If Charlie is not round then Charlie is smart. If someone is round and not quiet then they are furry. If someone is smart then they are furry.
Charlie is round.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is not nice.[(triple3)] Anne is quiet.[(triple4)] Charlie is green.[(triple5)] Erin is furry.[(triple6)] Erin is nice.[(triple7)] Erin is round.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10)] Fiona is not nice.[(triple11)] Fiona is round.[(triple12)] @1: Charlie is not round.[(((triple5) -> rule1))] @2: Charlie is smart.[(((((triple5) -> rule1)) -> rule4))] @3: Charlie is furry.[(((((((triple5) -> rule1)) -> rule4)) -> rule6))]