Bob is furry. Bob is green. Bob is nice. Bob is quiet. Bob is white. Bob is young. Erin is green. Erin is nice. Erin is young. Fiona is cold. Fiona is furry. Fiona is green. Fiona is nice. Fiona is quiet. Fiona is white. Fiona is young. Cold, quiet things are nice.
Bob is not cold.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Bob is quiet.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Erin is green.[(triple7)] Erin is nice.[(triple8)] Erin is young.[(triple9)] Fiona is cold.[(triple10)] Fiona is furry.[(triple11)] Fiona is green.[(triple12)] Fiona is nice.[(triple13 OR ((triple10 triple14) -> rule1))] Fiona is quiet.[(triple14)] Fiona is white.[(triple15)] Fiona is young.[(triple16)]