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