Bob is big. Bob is blue. Bob is cold. Bob is not kind. Bob is nice. Bob is not red. Bob is white. Charlie is big. Charlie is blue. Charlie is cold. Charlie is not kind. Charlie is nice. Charlie is red. Charlie is white. If someone is cold then they are big.
Bob is not white.
@0: Bob is big.[(triple1 OR ((triple3) -> rule1))] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is nice.[(triple5)] Bob is not kind.[(triple4)] Bob is not red.[(triple6)] Bob is white.[(triple7)] Charlie is big.[(triple8 OR ((triple10) -> rule1))] Charlie is blue.[(triple9)] Charlie is cold.[(triple10)] Charlie is nice.[(triple12)] Charlie is not kind.[(triple11)] Charlie is red.[(triple13)] Charlie is white.[(triple14)]