Erin is big. Erin is cold. Erin is furry. Erin is rough. Erin is white. Fiona is big. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is round. Fiona is white. Fiona is young. If someone is round then they are cold.
Erin is not young.
@0: Erin is big.[(triple1)] Erin is cold.[(triple2)] Erin is furry.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple5)] Fiona is big.[(triple6)] Fiona is cold.[(triple7 OR ((triple10) -> rule1))] Fiona is furry.[(triple8)] Fiona is rough.[(triple9)] Fiona is round.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)]