Erin is big. Erin is furry. Erin is nice. Erin is rough. Erin is round. Erin is white. Fiona is big. Fiona is cold. Fiona is nice. Fiona is rough. All big, cold things are furry. Cold things are round.
Fiona is white.
@0: Erin is big.[(triple1)] Erin is furry.[(triple2)] Erin is nice.[(triple3)] Erin is rough.[(triple4)] Erin is round.[(triple5)] Erin is white.[(triple6)] Fiona is big.[(triple7)] Fiona is cold.[(triple8)] Fiona is nice.[(triple9)] Fiona is rough.[(triple10)] @1: Fiona is furry.[(((triple7 triple8) -> rule1))] Fiona is round.[(((triple8) -> rule2))]