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