Anne is furry. Anne is green. Anne is kind. Anne is nice. Anne is red. Anne is not round. Anne is smart. Dave is red. Dave is not round. Dave is smart. Red things are nice. If something is red and round then it is nice. Round things are nice. If something is round and furry then it is red. If Anne is nice then Anne is furry. If something is kind then it is furry. All round, furry things are not kind. All round, furry things are kind.
Dave is smart.
@0: Anne is furry.[(triple1 OR ((triple3) -> rule6) OR ((triple4) -> rule5) OR ((((triple5) -> rule1)) -> rule5))] Anne is green.[(triple2)] Anne is kind.[(triple3)] Anne is nice.[(triple4 OR ((triple5) -> rule1))] Anne is not round.[(triple6)] Anne is red.[(triple5)] Anne is smart.[(triple7)] Dave is not round.[(triple9)] Dave is red.[(triple8)] Dave is smart.[(triple10)] @1: Dave is nice.[(((triple8) -> rule1))]