Anne is big. Anne is not furry. Anne is not green. Charlie is green. Dave is furry. Erin is big. Erin is red. If Charlie is not smart then Charlie is big. If Anne is green then Anne is red. All round, green things are red. Furry things are green. If something is red and not big then it is furry. Round things are furry. If something is green then it is round. If Erin is smart and Erin is not furry then Erin is not kind.
Charlie is green.
@0: Anne is big.[(triple1)] Anne is not furry.[(triple2)] Anne is not green.[(triple3)] Charlie is green.[(triple4)] Dave is furry.[(triple5)] Erin is big.[(triple6)] Erin is red.[(triple7)] @1: Charlie is round.[(((triple4) -> rule7))] Dave is green.[(((triple5) -> rule4))] @2: Charlie is furry.[(((((triple4) -> rule7)) -> rule6))] Charlie is red.[(((((triple4) -> rule7) triple4) -> rule3))] Dave is round.[(((((triple5) -> rule4)) -> rule7))] @3: Dave is red.[(((((((triple5) -> rule4)) -> rule7) ((triple5) -> rule4)) -> rule3))]