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