Charlie is big. Charlie is cold. Charlie is furry. Charlie is green. Charlie is red. Charlie is smart. Charlie is white. If Charlie is smart and Charlie is big then Charlie is red.
Charlie is red.
@0: Charlie is big.[(triple1)] Charlie is cold.[(triple2)] Charlie is furry.[(triple3)] Charlie is green.[(triple4)] Charlie is red.[(triple5 OR ((triple6 triple1) -> rule1))] Charlie is smart.[(triple6)] Charlie is white.[(triple7)]