Erin is cold. Erin is rough. Erin is round. Erin is smart. Erin is young. Fiona is cold. Fiona is furry. Fiona is nice. Fiona is rough. Fiona is round. Fiona is smart. Fiona is young. All furry things are cold. If something is cold and round then it is rough.
Fiona is not young.
@0: Erin is cold.[(triple1)] Erin is rough.[(triple2 OR ((triple1 triple3) -> rule2))] Erin is round.[(triple3)] Erin is smart.[(triple4)] Erin is young.[(triple5)] Fiona is cold.[(triple6 OR ((triple7) -> rule1))] Fiona is furry.[(triple7)] Fiona is nice.[(triple8)] Fiona is rough.[(triple9 OR ((triple6 triple10) -> rule2) OR ((((triple7) -> rule1) triple10) -> rule2))] Fiona is round.[(triple10)] Fiona is smart.[(triple11)] Fiona is young.[(triple12)]