Anne is blue. Anne is nice. Anne is red. Anne is not round. Fiona is blue. Fiona is furry. Fiona is red. Fiona is round. Harry is furry. Harry is not nice. Harry is red. Harry is not round. Blue, smart things are round. All furry things are not nice. If Fiona is quiet then Fiona is furry. If Anne is round and Anne is not quiet then Anne is nice. All blue things are red. If something is quiet and furry then it is not red.
Anne is not quiet.
@0: Anne is blue.[(triple1)] Anne is nice.[(triple2)] Anne is not round.[(triple4)] Anne is red.[(triple3 OR ((triple1) -> rule5))] Fiona is blue.[(triple5)] Fiona is furry.[(triple6)] Fiona is red.[(triple7 OR ((triple5) -> rule5))] Fiona is round.[(triple8)] Harry is furry.[(triple9)] Harry is not nice.[(triple10 OR ((triple9) -> rule2))] Harry is not round.[(triple12)] Harry is red.[(triple11)] @1: Fiona is not nice.[(((triple6) -> rule2))]