Bob is big. Bob is cold. Bob is green. Bob is not smart. Bob is white. Bob is young. Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is smart. Charlie is not young. If Charlie is smart then Charlie is white.
Bob is not smart.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is green.[(triple3)] Bob is not smart.[(triple4)] Bob is white.[(triple5)] Bob is young.[(triple6)] Charlie is big.[(triple7)] Charlie is cold.[(triple8)] Charlie is furry.[(triple9)] Charlie is green.[(triple10)] Charlie is not young.[(triple12)] Charlie is smart.[(triple11)] @1: Charlie is white.[(((triple11) -> rule1))]