Anne is quiet. Anne is red. Anne is young. Dave is quiet. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is young. Harry is quiet. Harry is smart. All young, kind people are nice. If someone is nice and not cold then they are not red. Kind people are red. If Anne is kind and Anne is quiet then Anne is not smart. Cold people are kind. If Dave is cold then Dave is red. If someone is kind and not nice then they are not smart. All red people are smart.
Fiona is not nice.
@0: Anne is quiet.[(triple1)] Anne is red.[(triple2)] Anne is young.[(triple3)] Dave is quiet.[(triple4)] Fiona is cold.[(triple5)] Fiona is kind.[(triple6 OR ((triple5) -> rule5))] Fiona is nice.[(triple7 OR ((triple8 triple6) -> rule1) OR ((triple8 ((triple5) -> rule5)) -> rule1))] Fiona is young.[(triple8)] Harry is quiet.[(triple9)] Harry is smart.[(triple10)] @1: Anne is smart.[(((triple2) -> rule8))] Fiona is red.[(((triple6) -> rule3) OR ((((triple5) -> rule5)) -> rule3))] @2: Fiona is smart.[(((((triple6) -> rule3)) -> rule8) OR ((((((triple5) -> rule5)) -> rule3)) -> rule8))]