Anne is big. Anne is furry. Anne is not nice. Anne is red. Anne is young. Dave is furry. Dave is nice. Fiona is big. Fiona is cold. Fiona is nice. Fiona is young. Harry is big. Harry is furry. Harry is nice. Harry is white. Harry is young. If someone is white then they are red. Young people are red. All young people are furry. Red people are white. If Anne is furry then Anne is red. If Dave is red and Dave is young then Dave is furry.
Fiona is not white.
@0: Anne is big.[(triple1)] Anne is furry.[(triple2 OR ((triple5) -> rule3))] Anne is not nice.[(triple3)] Anne is red.[(triple4 OR ((triple2) -> rule5) OR ((triple5) -> rule2) OR ((((triple5) -> rule3)) -> rule5))] Anne is young.[(triple5)] Dave is furry.[(triple6)] Dave is nice.[(triple7)] Fiona is big.[(triple8)] Fiona is cold.[(triple9)] Fiona is nice.[(triple10)] Fiona is young.[(triple11)] Harry is big.[(triple12)] Harry is furry.[(triple13 OR ((triple16) -> rule3))] Harry is nice.[(triple14)] Harry is white.[(triple15 OR ((((triple16) -> rule2)) -> rule4))] Harry is young.[(triple16)] @1: Anne is white.[(((triple4) -> rule4) OR ((((triple2) -> rule5)) -> rule4) OR ((((triple5) -> rule2)) -> rule4) OR ((((((triple5) -> rule3)) -> rule5)) -> rule4))] Fiona is furry.[(((triple11) -> rule3))] Fiona is red.[(((triple11) -> rule2))] Harry is red.[(((triple15) -> rule1) OR ((triple16) -> rule2))] @2: Fiona is white.[(((((triple11) -> rule2)) -> rule4))]