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