Anne is furry. Anne is kind. Dave is nice. Dave is round. Erin is smart. Gary is round. Gary is smart. If Erin is nice and Erin is not furry then Erin is not kind. All round, nice people are not green. All big people are round. If someone is kind and not smart then they are not round. If someone is smart then they are round. If someone is smart and not kind then they are not round.
Dave is not round.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Dave is nice.[(triple3)] Dave is round.[(triple4)] Erin is smart.[(triple5)] Gary is round.[(triple6 OR ((triple7) -> rule5))] Gary is smart.[(triple7)] @1: Dave is not green.[(((triple4 triple3) -> rule2))] Erin is round.[(((triple5) -> rule5))]