Anne is furry. Anne is kind. Anne is quiet. Anne is rough. Anne is smart. Anne is young. Bob is blue. Bob is furry. Bob is kind. Bob is quiet. Bob is rough. Bob is young. Erin is blue. Erin is furry. Erin is kind. Erin is quiet. Rough, blue people are smart. Blue, quiet people are smart. If someone is smart and kind then they are furry.
Bob is not quiet.
@0: Anne is furry.[(triple1 OR ((triple5 triple2) -> rule3))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is rough.[(triple4)] Anne is smart.[(triple5)] Anne is young.[(triple6)] Bob is blue.[(triple7)] Bob is furry.[(triple8 OR ((((triple11 triple7) -> rule1) triple9) -> rule3) OR ((((triple7 triple10) -> rule2) triple9) -> rule3))] Bob is kind.[(triple9)] Bob is quiet.[(triple10)] Bob is rough.[(triple11)] Bob is young.[(triple12)] Erin is blue.[(triple13)] Erin is furry.[(triple14 OR ((((triple13 triple16) -> rule2) triple15) -> rule3))] Erin is kind.[(triple15)] Erin is quiet.[(triple16)] @1: Bob is smart.[(((triple11 triple7) -> rule1) OR ((triple7 triple10) -> rule2))] Erin is smart.[(((triple13 triple16) -> rule2))]