Bob is big. Bob is blue. Bob is cold. Bob is furry. Bob is kind. Bob is nice. Bob is young. Erin is big. Erin is blue. Erin is young. Fiona is blue. Fiona is furry. Fiona is kind. Fiona is nice. Fiona is young. Cold people are furry.
Bob is not cold.
@0: Bob is big.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is furry.[(triple4 OR ((triple3) -> rule1))] Bob is kind.[(triple5)] Bob is nice.[(triple6)] Bob is young.[(triple7)] Erin is big.[(triple8)] Erin is blue.[(triple9)] Erin is young.[(triple10)] Fiona is blue.[(triple11)] Fiona is furry.[(triple12)] Fiona is kind.[(triple13)] Fiona is nice.[(triple14)] Fiona is young.[(triple15)]