Charlie is big. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is rough. Charlie is round. Charlie is young. All big things are round. All quiet, green things are big.
Charlie is big.
@0: Charlie is big.[(triple1 OR ((triple4 triple2) -> rule2))] Charlie is green.[(triple2)] Charlie is kind.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is round.[(triple6 OR ((triple1) -> rule1) OR ((((triple4 triple2) -> rule2)) -> rule1))] Charlie is young.[(triple7)]