Anne is furry. Anne is red. Anne is smart. Bob is kind. Bob is smart. Dave is round. Erin is blue. Erin is red. Erin is round. Erin is smart. If Dave is quiet and Dave is kind then Dave is furry. Smart people are round.
Dave is not round.
@0: Anne is furry.[(triple1)] Anne is red.[(triple2)] Anne is smart.[(triple3)] Bob is kind.[(triple4)] Bob is smart.[(triple5)] Dave is round.[(triple6)] Erin is blue.[(triple7)] Erin is red.[(triple8)] Erin is round.[(triple9 OR ((triple10) -> rule2))] Erin is smart.[(triple10)] @1: Anne is round.[(((triple3) -> rule2))] Bob is round.[(((triple5) -> rule2))]