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