Charlie is big. Charlie is cold. Charlie is furry. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is white. Smart, big things are quiet. Smart things are furry.
Charlie is cold.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3 OR ((triple6) -> rule2))] Charlie is quiet.[(triple4 OR ((triple6 triple1) -> rule1))] Charlie is red.[(triple5)] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]