Erin is furry. Erin is green. Erin is kind. Erin is white. Erin is young. Fiona is cold. Fiona is furry. Fiona is green. Fiona is kind. Fiona is round. Fiona is white. Fiona is young. If something is kind and round then it is furry.
Erin is not round.
@0: Erin is furry.[(triple1)] Erin is green.[(triple2)] Erin is kind.[(triple3)] Erin is white.[(triple4)] Erin is young.[(triple5)] Fiona is cold.[(triple6)] Fiona is furry.[(triple7 OR ((triple9 triple10) -> rule1))] Fiona is green.[(triple8)] Fiona is kind.[(triple9)] Fiona is round.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)]