Bob is big. Bob is cold. Bob is quiet. Bob is young. Charlie is cold. Charlie is kind. Charlie is quiet. Charlie is rough. Dave is big. Dave is cold. Dave is white. Dave is young. Cold, white things are not kind. If something is quiet and not young then it is not cold.
Bob is not young.
@0: Bob is big.[(triple1)] Bob is cold.[(triple2)] Bob is quiet.[(triple3)] Bob is young.[(triple4)] Charlie is cold.[(triple5)] Charlie is kind.[(triple6)] Charlie is quiet.[(triple7)] Charlie is rough.[(triple8)] Dave is big.[(triple9)] Dave is cold.[(triple10)] Dave is white.[(triple11)] Dave is young.[(triple12)] @1: Dave is not kind.[(((triple10 triple11) -> rule1))]