Charlie is big. Charlie is not blue. Charlie is green. Charlie is kind. Charlie is quiet. Charlie is smart. Charlie is young. If Charlie is kind and Charlie is not young then Charlie is smart. If Charlie is blue then Charlie is smart. If someone is quiet and kind then they are green. If someone is blue and not quiet then they are green. Big people are green. If someone is kind and green then they are smart.
Charlie is big.
@0: Charlie is big.[(triple1)] Charlie is green.[(triple3 OR ((triple1) -> rule5) OR ((triple5 triple4) -> rule3))] Charlie is kind.[(triple4)] Charlie is not blue.[(triple2)] Charlie is quiet.[(triple5)] Charlie is smart.[(triple6 OR ((triple4 triple3) -> rule6) OR ((triple4 ((triple1) -> rule5)) -> rule6) OR ((triple4 ((triple5 triple4) -> rule3)) -> rule6))] Charlie is young.[(triple7)]