Charlie is big. Charlie is cold. Charlie is green. Charlie is nice. Charlie is red. Charlie is round. Charlie is white. All cold people are big. All white people are cold.
Charlie is not round.
@0: Charlie is big.[(triple1 OR ((triple2) -> rule1) OR ((((triple7) -> rule2)) -> rule1))] Charlie is cold.[(triple2 OR ((triple7) -> rule2))] Charlie is green.[(triple3)] Charlie is nice.[(triple4)] Charlie is red.[(triple5)] Charlie is round.[(triple6)] Charlie is white.[(triple7)]