Anne is not blue. Anne is kind. Anne is not quiet. Anne is not red. Anne is white. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is quiet. Fiona is red. Gary is kind. Gary is quiet. Harry is blue. Harry is nice. Harry is not red. Harry is not white. All red things are white.
Anne is furry.
@0: Anne is kind.[(triple2)] Anne is not blue.[(triple1)] Anne is not quiet.[(triple3)] Anne is not red.[(triple4)] Anne is white.[(triple5)] Fiona is blue.[(triple6)] Fiona is furry.[(triple7)] Fiona is kind.[(triple8)] Fiona is quiet.[(triple9)] Fiona is red.[(triple10)] Gary is kind.[(triple11)] Gary is quiet.[(triple12)] Harry is blue.[(triple13)] Harry is nice.[(triple14)] Harry is not red.[(triple15)] Harry is not white.[(triple16)] @1: Fiona is white.[(((triple10) -> rule1))]