Erin is cold. Erin is furry. Erin is quiet. Erin is rough. Erin is not round. Erin is smart. Erin is young. Fiona is cold. Fiona is furry. Fiona is quiet. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. Round, rough things are furry. If Erin is smart and Erin is round then Erin is rough. If Erin is smart then Erin is rough.
Fiona is not cold.
@0: Erin is cold.[(triple1)] Erin is furry.[(triple2)] Erin is not round.[(triple5)] Erin is quiet.[(triple3)] Erin is rough.[(triple4 OR ((triple6) -> rule3))] Erin is smart.[(triple6)] Erin is young.[(triple7)] Fiona is cold.[(triple8)] Fiona is furry.[(triple9 OR ((triple12 triple11) -> rule1))] Fiona is quiet.[(triple10)] Fiona is rough.[(triple11)] Fiona is round.[(triple12)] Fiona is smart.[(triple13)] Fiona is young.[(triple14)]