Charlie is big. Charlie is not blue. Charlie is not green. Charlie is kind. Charlie is not red. Charlie is round. Harry is big. Harry is blue. Harry is green. Harry is nice. Harry is red. Harry is round. If something is green and blue then it is kind.
Harry is kind.
@0: Charlie is big.[(triple1)] Charlie is kind.[(triple4)] Charlie is not blue.[(triple2)] Charlie is not green.[(triple3)] Charlie is not red.[(triple5)] Charlie is round.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is green.[(triple9)] Harry is nice.[(triple10)] Harry is red.[(triple11)] Harry is round.[(triple12)] @1: Harry is kind.[(((triple9 triple8) -> rule1))]