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