Anne is green. Anne is kind. Anne is quiet. Anne is round. Bob is kind. Erin is cold. Erin is furry. Erin is green. Erin is not quiet. Fiona is green. Fiona is kind. Fiona is quiet. If Anne is round then Anne is kind. If Anne is quiet and Anne is not smart then Anne is furry. All quiet, cold people are round. All smart people are kind. If someone is kind and not green then they are not cold. Kind, quiet people are furry.
Anne is smart.
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple4) -> rule1))] Anne is quiet.[(triple3)] Anne is round.[(triple4)] Bob is kind.[(triple5)] Erin is cold.[(triple6)] Erin is furry.[(triple7)] Erin is green.[(triple8)] Erin is not quiet.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] @1: Anne is furry.[(((triple2 triple3) -> rule6) OR ((((triple4) -> rule1) triple3) -> rule6))] Fiona is furry.[(((triple11 triple12) -> rule6))]