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