Anne is furry. Anne is not kind. Anne is red. Anne is not rough. Anne is round. Anne is smart. Anne is young. Erin is kind. Erin is red. Erin is round. Erin is smart. Erin is young. All smart, young things are red. All kind, rough things are furry. If Erin is young and Erin is not red then Erin is rough.
Anne is rough.
@0: Anne is furry.[(triple1)] Anne is not kind.[(triple2)] Anne is not rough.[(triple4)] Anne is red.[(triple3 OR ((triple6 triple7) -> rule1))] Anne is round.[(triple5)] Anne is smart.[(triple6)] Anne is young.[(triple7)] Erin is kind.[(triple8)] Erin is red.[(triple9 OR ((triple11 triple12) -> rule1))] Erin is round.[(triple10)] Erin is smart.[(triple11)] Erin is young.[(triple12)]