Charlie is big. Charlie is cold. Charlie is kind. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is white. All nice, white things are red.
Charlie is not nice.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is kind.[(triple3)] Charlie is nice.[(triple4)] Charlie is quiet.[(triple5)] Charlie is red.[(triple6 OR ((triple4 triple7) -> rule1))] Charlie is white.[(triple7)]