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 kind.
@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)]