Charlie is nice. Charlie is red. Charlie is young. Dave is big. Dave is blue. Dave is cold. Dave is nice. Dave is red. Dave is round. Dave is young. If something is cold then it is red.
Charlie is not nice.
@0: Charlie is nice.[(triple1)] Charlie is red.[(triple2)] Charlie is young.[(triple3)] Dave is big.[(triple4)] Dave is blue.[(triple5)] Dave is cold.[(triple6)] Dave is nice.[(triple7)] Dave is red.[(triple8 OR ((triple6) -> rule1))] Dave is round.[(triple9)] Dave is young.[(triple10)]