Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is nice. Charlie is quiet. Charlie is white. Big people are cold.
Charlie is furry.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2 OR ((triple1) -> rule1))] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is nice.[(triple5)] Charlie is quiet.[(triple6)] Charlie is white.[(triple7)]