Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is white. Dave is furry. Dave is nice. Dave is quiet. Dave is red. Dave is smart. Dave is white. Erin is furry. Erin is round. Erin is smart. If Erin is nice and Erin is furry then Erin is smart. If someone is round then they are red. If someone is nice then they are smart.
Anne is smart.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2)] Anne is red.[(triple3 OR ((triple4) -> rule2))] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple2) -> rule3))] Anne is white.[(triple6)] Dave is furry.[(triple7)] Dave is nice.[(triple8)] Dave is quiet.[(triple9)] Dave is red.[(triple10)] Dave is smart.[(triple11 OR ((triple8) -> rule3))] Dave is white.[(triple12)] Erin is furry.[(triple13)] Erin is round.[(triple14)] Erin is smart.[(triple15)] @1: Erin is red.[(((triple14) -> rule2))]