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