Anne is blue. Anne is kind. Anne is quiet. Charlie is furry. Charlie is kind. Charlie is red. Dave is blue. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is red. Nice, red things are kind. Nice, furry things are kind. If something is red then it is quiet.
Anne is not kind.
@0: Anne is blue.[(triple1)] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Charlie is furry.[(triple4)] Charlie is kind.[(triple5)] Charlie is red.[(triple6)] Dave is blue.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is kind.[(triple10 OR ((triple11 triple12) -> rule1) OR ((triple11 triple9) -> rule2))] Fiona is nice.[(triple11)] Fiona is red.[(triple12)] @1: Charlie is quiet.[(((triple6) -> rule3))] Fiona is quiet.[(((triple12) -> rule3))]