Anne is kind. Anne is smart. Anne is young. Erin is cold. Erin is furry. Erin is kind. Erin is nice. Erin is red. Erin is smart. Erin is young. All furry, smart people are young. Kind, cold people are red. If someone is smart and furry then they are nice. If Anne is furry then Anne is young. All nice, red people are kind. If someone is red then they are smart. All nice, smart people are cold. Furry people are nice.
Anne is not nice.
@0: Anne is kind.[(triple1)] Anne is smart.[(triple2)] Anne is young.[(triple3)] Erin is cold.[(triple4 OR ((triple7 triple9) -> rule7) OR ((triple7 ((triple8) -> rule6)) -> rule7) OR ((((triple5) -> rule8) triple9) -> rule7) OR ((((triple9 triple5) -> rule3) triple9) -> rule7) OR ((((triple5) -> rule8) ((triple8) -> rule6)) -> rule7) OR ((((triple9 triple5) -> rule3) ((triple8) -> rule6)) -> rule7) OR ((((((triple8) -> rule6) triple5) -> rule3) triple9) -> rule7) OR ((((((triple8) -> rule6) triple5) -> rule3) ((triple8) -> rule6)) -> rule7))] Erin is furry.[(triple5)] Erin is kind.[(triple6 OR ((triple7 triple8) -> rule5) OR ((((triple5) -> rule8) triple8) -> rule5) OR ((((triple9 triple5) -> rule3) triple8) -> rule5) OR ((((((triple8) -> rule6) triple5) -> rule3) triple8) -> rule5))] Erin is nice.[(triple7 OR ((triple5) -> rule8) OR ((triple9 triple5) -> rule3) OR ((((triple8) -> rule6) triple5) -> rule3) OR ((((((triple6 triple4) -> rule2)) -> rule6) triple5) -> rule3))] Erin is red.[(triple8 OR ((triple6 triple4) -> rule2) OR ((triple6 ((triple7 triple9) -> rule7)) -> rule2) OR ((triple6 ((((triple5) -> rule8) triple9) -> rule7)) -> rule2) OR ((triple6 ((((triple9 triple5) -> rule3) triple9) -> rule7)) -> rule2))] Erin is smart.[(triple9 OR ((triple8) -> rule6) OR ((((triple6 triple4) -> rule2)) -> rule6))] Erin is young.[(triple10 OR ((triple5 triple9) -> rule1) OR ((triple5 ((triple8) -> rule6)) -> rule1) OR ((triple5 ((((triple6 triple4) -> rule2)) -> rule6)) -> rule1))]