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