Anne is quiet. Charlie is round. Charlie is smart. Erin is green. Erin is kind. Erin is round. Fiona is not furry. All kind people are cold. Furry, round people are cold. If someone is quiet then they are furry. If someone is kind and not smart then they are furry. All cold, smart people are round. If Charlie is round and Charlie is cold then Charlie is green. All smart people are quiet. If Anne is green then Anne is cold. If someone is furry and green then they are not kind.
Charlie is not kind.
@0: Anne is quiet.[(triple1)] Charlie is round.[(triple2)] Charlie is smart.[(triple3)] Erin is green.[(triple4)] Erin is kind.[(triple5)] Erin is round.[(triple6)] Fiona is not furry.[(triple7)] @1: Anne is furry.[(((triple1) -> rule3))] Charlie is quiet.[(((triple3) -> rule7))] Erin is cold.[(((triple5) -> rule1))] @2: Charlie is furry.[(((((triple3) -> rule7)) -> rule3))] @3: Charlie is cold.[(((((((triple3) -> rule7)) -> rule3) triple2) -> rule2))] @4: Charlie is green.[(((triple2 ((((((triple3) -> rule7)) -> rule3) triple2) -> rule2)) -> rule6))] @5: Charlie is not kind.[(((((((triple3) -> rule7)) -> rule3) ((triple2 ((((((triple3) -> rule7)) -> rule3) triple2) -> rule2)) -> rule6)) -> rule9))]