Anne is big. Anne is green. Anne is red. Anne is not round. Anne is white. Dave is not big. Dave is nice. Dave is round. Dave is white. Fiona is red. Harry is furry. Harry is round. Red things are nice. If Dave is not round then Dave is not white. If Fiona is round then Fiona is white. If something is round and not white then it is furry. All big, furry things are green. All nice, furry things are green.
Dave is not big.
@0: Anne is big.[(triple1)] Anne is green.[(triple2)] Anne is not round.[(triple4)] Anne is red.[(triple3)] Anne is white.[(triple5)] Dave is nice.[(triple7)] Dave is not big.[(triple6)] Dave is round.[(triple8)] Dave is white.[(triple9)] Fiona is red.[(triple10)] Harry is furry.[(triple11)] Harry is round.[(triple12)] @1: Anne is nice.[(((triple3) -> rule1))] Fiona is nice.[(((triple10) -> rule1))]