Anne is furry. Anne is green. Anne is not kind. Anne is nice. Anne is round. Erin is not round. Gary is cold. Gary is furry. Gary is green. Gary is not kind. Gary is not nice. Gary is not quiet. Gary is round. Harry is green. Harry is quiet. All nice things are cold. Nice things are furry. All quiet things are green. All kind things are quiet. All green, furry things are round. If something is green and not furry then it is kind.
Erin is round.
@0: Anne is furry.[(triple1 OR ((triple4) -> rule2))] Anne is green.[(triple2)] Anne is nice.[(triple4)] Anne is not kind.[(triple3)] Anne is round.[(triple5 OR ((triple2 triple1) -> rule5) OR ((triple2 ((triple4) -> rule2)) -> rule5))] Erin is not round.[(triple6)] Gary is cold.[(triple7)] Gary is furry.[(triple8)] Gary is green.[(triple9)] Gary is not kind.[(triple10)] Gary is not nice.[(triple11)] Gary is not quiet.[(triple12)] Gary is round.[(triple13 OR ((triple9 triple8) -> rule5))] Harry is green.[(triple14 OR ((triple15) -> rule3))] Harry is quiet.[(triple15)] @1: Anne is cold.[(((triple4) -> rule1))]