Bob is furry. Bob is green. Bob is nice. Charlie is big. Charlie is blue. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is white. Dave is big. Dave is blue. Erin is cold. Erin is green. Erin is nice. If Charlie is green and Charlie is blue then Charlie is furry.
Bob is white.
@0: Bob is furry.[(triple1)] Bob is green.[(triple2)] Bob is nice.[(triple3)] Charlie is big.[(triple4)] Charlie is blue.[(triple5)] Charlie is cold.[(triple6)] Charlie is furry.[(triple7 OR ((triple8 triple5) -> rule1))] Charlie is green.[(triple8)] Charlie is nice.[(triple9)] Charlie is white.[(triple10)] Dave is big.[(triple11)] Dave is blue.[(triple12)] Erin is cold.[(triple13)] Erin is green.[(triple14)] Erin is nice.[(triple15)]