Anne is furry. Anne is nice. Anne is red. Anne is round. Anne is smart. Anne is young. Fiona is kind. Fiona is round. Fiona is smart. Fiona is young. If someone is young and smart then they are nice. If Fiona is round then Fiona is red. All red people are nice. If someone is smart and furry then they are nice. If someone is furry then they are smart. If someone is red then they are nice.
Fiona is not furry.
@0: Anne is furry.[(triple1)] Anne is nice.[(triple2 OR ((triple3) -> rule3) OR ((triple3) -> rule6) OR ((triple5 triple1) -> rule4) OR ((triple6 triple5) -> rule1) OR ((triple6 ((triple1) -> rule5)) -> rule1) OR ((((triple1) -> rule5) triple1) -> rule4))] Anne is red.[(triple3)] Anne is round.[(triple4)] Anne is smart.[(triple5 OR ((triple1) -> rule5))] Anne is young.[(triple6)] Fiona is kind.[(triple7)] Fiona is round.[(triple8)] Fiona is smart.[(triple9)] Fiona is young.[(triple10)] @1: Fiona is nice.[(((triple10 triple9) -> rule1) OR ((((triple8) -> rule2)) -> rule3) OR ((((triple8) -> rule2)) -> rule6))] Fiona is red.[(((triple8) -> rule2))]