Anne is not furry. Anne is not kind. Anne is red. Anne is smart. Anne is white. Anne is young. Fiona is kind. Fiona is rough. Fiona is young. Harry is rough. Harry is not smart. Harry is young. If someone is young and kind then they are rough. Kind, smart people are not furry. All kind people are young. All smart, young people are white. If someone is young then they are red. If someone is white and not young then they are not red.
Fiona is not white.
@0: Anne is not furry.[(triple1)] Anne is not kind.[(triple2)] Anne is red.[(triple3 OR ((triple6) -> rule5))] Anne is smart.[(triple4)] Anne is white.[(triple5 OR ((triple4 triple6) -> rule4))] Anne is young.[(triple6)] Fiona is kind.[(triple7)] Fiona is rough.[(triple8 OR ((triple9 triple7) -> rule1) OR ((((triple7) -> rule3) triple7) -> rule1))] Fiona is young.[(triple9 OR ((triple7) -> rule3))] Harry is not smart.[(triple11)] Harry is rough.[(triple10)] Harry is young.[(triple12)] @1: Fiona is red.[(((triple9) -> rule5) OR ((((triple7) -> rule3)) -> rule5))] Harry is red.[(((triple12) -> rule5))]