Anne is kind. Anne is nice. Anne is not white. Dave is kind. Dave is smart. Dave is white. Fiona is white. If Fiona is smart and Fiona is not nice then Fiona is not quiet. If Anne is white then Anne is kind. If someone is nice and not smart then they are young. Quiet people are not young. White, quiet people are not kind. Kind, smart people are not big. Smart, kind people are not quiet. If Dave is quiet and Dave is not kind then Dave is young.
Fiona is white.
@0: Anne is kind.[(triple1)] Anne is nice.[(triple2)] Anne is not white.[(triple3)] Dave is kind.[(triple4)] Dave is smart.[(triple5)] Dave is white.[(triple6)] Fiona is white.[(triple7)] @1: Dave is not big.[(((triple4 triple5) -> rule6))] Dave is not quiet.[(((triple5 triple4) -> rule7))]