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