Erin is not big. Erin is furry. Erin is kind. Erin is nice. Erin is quiet. Erin is not round. Erin is not white. Fiona is not big. Fiona is kind. Fiona is round. If someone is furry and not white then they are quiet. If Fiona is not big then Fiona is round. If someone is kind and not nice then they are furry.
Erin is not white.
@0: Erin is furry.[(triple2)] Erin is kind.[(triple3)] Erin is nice.[(triple4)] Erin is not big.[(triple1)] Erin is not round.[(triple6)] Erin is not white.[(triple7)] Erin is quiet.[(triple5 OR ((triple2 triple7) -> rule1))] Fiona is kind.[(triple9)] Fiona is not big.[(triple8)] Fiona is round.[(triple10 OR ((triple8) -> rule2))]