Erin is big. Erin is blue. Erin is cold. Erin is kind. Erin is nice. Erin is not quiet. Erin is rough. Fiona is big. Fiona is blue. Fiona is cold. Fiona is kind. Fiona is nice. Fiona is quiet. Fiona is rough. Blue people are kind. If Fiona is rough and Fiona is not cold then Fiona is not blue.
Fiona is cold.
@0: Erin is big.[(triple1)] Erin is blue.[(triple2)] Erin is cold.[(triple3)] Erin is kind.[(triple4 OR ((triple2) -> rule1))] Erin is nice.[(triple5)] Erin is not quiet.[(triple6)] Erin is rough.[(triple7)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is cold.[(triple10)] Fiona is kind.[(triple11 OR ((triple9) -> rule1))] Fiona is nice.[(triple12)] Fiona is quiet.[(triple13)] Fiona is rough.[(triple14)]