Anne is furry. Anne is kind. Anne is nice. Anne is not quiet. Dave is furry. Dave is green. Dave is kind. Dave is quiet. Fiona is furry. Fiona is green. Fiona is not kind. Fiona is white. Harry is furry. Harry is kind. Harry is white. All green things are quiet. If Fiona is smart then Fiona is green. All smart, nice things are furry. If something is kind and furry then it is nice. If Dave is furry and Dave is not quiet then Dave is smart. Green, furry things are white. If something is kind and not nice then it is not white. If Harry is smart and Harry is not furry then Harry is quiet.
Anne is kind.
@0: Anne is furry.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3 OR ((triple2 triple1) -> rule4))] Anne is not quiet.[(triple4)] Dave is furry.[(triple5)] Dave is green.[(triple6)] Dave is kind.[(triple7)] Dave is quiet.[(triple8 OR ((triple6) -> rule1))] Fiona is furry.[(triple9)] Fiona is green.[(triple10)] Fiona is not kind.[(triple11)] Fiona is white.[(triple12 OR ((triple10 triple9) -> rule6))] Harry is furry.[(triple13)] Harry is kind.[(triple14)] Harry is white.[(triple15)] @1: Dave is nice.[(((triple7 triple5) -> rule4))] Dave is white.[(((triple6 triple5) -> rule6))] Fiona is quiet.[(((triple10) -> rule1))] Harry is nice.[(((triple14 triple13) -> rule4))]