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