Anne is red. Anne is round. Dave is smart. Dave is not white. Erin is nice. Erin is not smart. Fiona is smart. Red people are furry. If someone is round then they are red. Furry people are white. All red, smart people are white. All red people are round. If someone is furry and not white then they are not nice.
Anne is furry.
@0: Anne is red.[(triple1 OR ((triple2) -> rule2))] Anne is round.[(triple2 OR ((triple1) -> rule5))] Dave is not white.[(triple4)] Dave is smart.[(triple3)] Erin is nice.[(triple5)] Erin is not smart.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is furry.[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] @2: Anne is white.[(((((triple1) -> rule1)) -> rule3) OR ((((((triple2) -> rule2)) -> rule1)) -> rule3))]