Charlie is big. Charlie is blue. Charlie is kind. Charlie is not nice. Charlie is smart. Charlie is white. Charlie is young. All kind, nice people are young. All blue people are young. If Charlie is smart and Charlie is big then Charlie is young. If someone is young and blue then they are white. Nice, white people are not kind. If someone is young and not big then they are smart.
Charlie is young.
@0: Charlie is big.[(triple1)] Charlie is blue.[(triple2)] Charlie is kind.[(triple3)] Charlie is not nice.[(triple4)] Charlie is smart.[(triple5)] Charlie is white.[(triple6 OR ((triple7 triple2) -> rule4) OR ((((triple2) -> rule2) triple2) -> rule4) OR ((((triple5 triple1) -> rule3) triple2) -> rule4))] Charlie is young.[(triple7 OR ((triple2) -> rule2) OR ((triple5 triple1) -> rule3))]