Anne is big. Anne is nice. Erin is big. Erin is furry. Erin is green. Erin is nice. Erin is round. Erin is white. Erin is young. Fiona is big. Fiona is green. Fiona is nice. Fiona is round. Fiona is white. Fiona is young. Round, white things are furry. Furry, green things are young. All young, furry things are nice. All furry things are white. If Anne is furry and Anne is nice then Anne is white. All big things are furry. If Erin is young then Erin is white. If Anne is nice and Anne is round then Anne is furry.
Fiona is not young.
@0: Anne is big.[(triple1)] Anne is nice.[(triple2)] Erin is big.[(triple3)] Erin is furry.[(triple4 OR ((triple3) -> rule6) OR ((triple7 triple8) -> rule1) OR ((triple7 ((triple9) -> rule7)) -> rule1))] Erin is green.[(triple5)] Erin is nice.[(triple6 OR ((triple9 triple4) -> rule3) OR ((triple9 ((triple3) -> rule6)) -> rule3) OR ((triple9 ((triple7 triple8) -> rule1)) -> rule3) OR ((((triple4 triple5) -> rule2) triple4) -> rule3) OR ((((triple4 triple5) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((((triple4 triple5) -> rule2) ((triple7 triple8) -> rule1)) -> rule3) OR ((triple9 ((triple7 ((triple9) -> rule7)) -> rule1)) -> rule3) OR ((((((triple3) -> rule6) triple5) -> rule2) triple4) -> rule3) OR ((((((triple7 triple8) -> rule1) triple5) -> rule2) triple4) -> rule3) OR ((((triple4 triple5) -> rule2) ((triple7 ((triple9) -> rule7)) -> rule1)) -> rule3) OR ((((((triple3) -> rule6) triple5) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((((((triple3) -> rule6) triple5) -> rule2) ((triple7 triple8) -> rule1)) -> rule3) OR ((((((triple7 triple8) -> rule1) triple5) -> rule2) ((triple3) -> rule6)) -> rule3) OR ((((((triple7 triple8) -> rule1) triple5) -> rule2) ((triple7 triple8) -> rule1)) -> rule3) OR ((((((triple3) -> rule6) triple5) -> rule2) ((triple7 ((triple9) -> rule7)) -> rule1)) -> rule3) OR ((((((triple7 triple8) -> rule1) triple5) -> rule2) ((triple7 ((triple9) -> rule7)) -> rule1)) -> rule3))] Erin is round.[(triple7)] Erin is white.[(triple8 OR ((triple4) -> rule4) OR ((triple9) -> rule7) OR ((((triple3) -> rule6)) -> rule4) OR ((((triple4 triple5) -> rule2)) -> rule7) OR ((((((triple3) -> rule6) triple5) -> rule2)) -> rule7))] Erin is young.[(triple9 OR ((triple4 triple5) -> rule2) OR ((((triple3) -> rule6) triple5) -> rule2) OR ((((triple7 triple8) -> rule1) triple5) -> rule2))] Fiona is big.[(triple10)] Fiona is green.[(triple11)] Fiona is nice.[(triple12 OR ((triple15 ((triple10) -> rule6)) -> rule3) OR ((triple15 ((triple13 triple14) -> rule1)) -> rule3) OR ((((((triple10) -> rule6) triple11) -> rule2) ((triple10) -> rule6)) -> rule3) OR ((((((triple10) -> rule6) triple11) -> rule2) ((triple13 triple14) -> rule1)) -> rule3) OR ((((((triple13 triple14) -> rule1) triple11) -> rule2) ((triple10) -> rule6)) -> rule3) OR ((((((triple13 triple14) -> rule1) triple11) -> rule2) ((triple13 triple14) -> rule1)) -> rule3))] Fiona is round.[(triple13)] Fiona is white.[(triple14 OR ((((triple10) -> rule6)) -> rule4))] Fiona is young.[(triple15 OR ((((triple10) -> rule6) triple11) -> rule2) OR ((((triple13 triple14) -> rule1) triple11) -> rule2))] @1: Anne is furry.[(((triple1) -> rule6))] Fiona is furry.[(((triple10) -> rule6) OR ((triple13 triple14) -> rule1))] @2: Anne is white.[(((((triple1) -> rule6)) -> rule4) OR ((((triple1) -> rule6) triple2) -> rule5))]