Anne is furry. Anne is young. Fiona is big. Fiona is furry. Gary is nice. Gary is quiet. Harry is nice. If someone is nice and furry then they are white. All white people are young. If Gary is nice and Gary is quiet then Gary is white. All furry people are quiet. White, young people are nice. If Fiona is young then Fiona is white. Furry, big people are white. If Fiona is furry then Fiona is quiet.
Fiona is not kind.
@0: Anne is furry.[(triple1)] Anne is young.[(triple2)] Fiona is big.[(triple3)] Fiona is furry.[(triple4)] Gary is nice.[(triple5)] Gary is quiet.[(triple6)] Harry is nice.[(triple7)] @1: Anne is quiet.[(((triple1) -> rule4))] Fiona is quiet.[(((triple4) -> rule4) OR ((triple4) -> rule8))] Fiona is white.[(((triple4 triple3) -> rule7))] Gary is white.[(((triple5 triple6) -> rule3))] @2: Fiona is young.[(((((triple4 triple3) -> rule7)) -> rule2))] Gary is young.[(((((triple5 triple6) -> rule3)) -> rule2))] @3: Fiona is nice.[(((((triple4 triple3) -> rule7) ((((triple4 triple3) -> rule7)) -> rule2)) -> rule5))]