Charlie is big. Charlie is blue. Charlie is cold. Charlie is nice. Charlie is rough. Charlie is smart. Charlie is white. Dave is big. Dave is blue. Dave is nice. Dave is smart. Dave is white. If Dave is smart and Dave is big then Dave is cold.
Dave is big.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is cold.[(triple3)] Charlie is nice.[(triple4)] Charlie is rough.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)] Dave is big.[(triple8)] Dave is blue.[(triple9)] Dave is nice.[(triple10)] Dave is smart.[(triple11)] Dave is white.[(triple12)] @1: Dave is cold.[(((triple11 triple8) -> rule1))]