Anne is furry. Anne is not nice. Anne is smart. Dave is furry. Dave is not nice. Dave is quiet. Dave is round. Dave is smart. Fiona is not furry. Fiona is red. If Fiona is young and Fiona is nice then Fiona is not quiet. If someone is young and furry then they are red. If someone is red and nice then they are not round. If someone is young and not nice then they are furry. If Anne is quiet and Anne is not furry then Anne is smart. If someone is nice and not red then they are smart. If someone is young and not nice then they are not smart. All quiet people are smart.
Anne is young.
@0: Anne is furry.[(triple1)] Anne is not nice.[(triple2)] Anne is smart.[(triple3)] Dave is furry.[(triple4)] Dave is not nice.[(triple5)] Dave is quiet.[(triple6)] Dave is round.[(triple7)] Dave is smart.[(triple8 OR ((triple6) -> rule8))] Fiona is not furry.[(triple9)] Fiona is red.[(triple10)]