Anne is furry. Anne is green. Anne is kind. Anne is red. Anne is round. Anne is smart. Anne is young. Fiona is furry. Fiona is green. Fiona is not kind. Fiona is red. Fiona is round. Fiona is smart. Fiona is not young. If Anne is smart then Anne is round. Green, kind people are young. Young, smart people are kind. If Fiona is red and Fiona is not smart then Fiona is round. If Fiona is kind then Fiona is not red. If someone is red and round then they are furry. All kind, red people are furry. If someone is young then they are round.
Anne is not red.
@0: Anne is furry.[(triple1 OR ((triple3 triple4) -> rule7) OR ((triple4 triple5) -> rule6) OR ((triple4 ((triple6) -> rule1)) -> rule6) OR ((triple4 ((triple7) -> rule8)) -> rule6) OR ((((triple7 triple6) -> rule3) triple4) -> rule7) OR ((triple4 ((((triple2 triple3) -> rule2)) -> rule8)) -> rule6))] Anne is green.[(triple2)] Anne is kind.[(triple3 OR ((triple7 triple6) -> rule3))] Anne is red.[(triple4)] Anne is round.[(triple5 OR ((triple6) -> rule1) OR ((triple7) -> rule8) OR ((((triple2 triple3) -> rule2)) -> rule8))] Anne is smart.[(triple6)] Anne is young.[(triple7 OR ((triple2 triple3) -> rule2))] Fiona is furry.[(triple8 OR ((triple11 triple12) -> rule6))] Fiona is green.[(triple9)] Fiona is not kind.[(triple10)] Fiona is not young.[(triple14)] Fiona is red.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)]