Charlie is blue. Charlie is kind. Charlie is smart. Charlie is young. Harry is big. Harry is blue. Harry is young. If someone is young and blue then they are white.
Charlie is kind.
@0: Charlie is blue.[(triple1)] Charlie is kind.[(triple2)] Charlie is smart.[(triple3)] Charlie is young.[(triple4)] Harry is big.[(triple5)] Harry is blue.[(triple6)] Harry is young.[(triple7)] @1: Charlie is white.[(((triple4 triple1) -> rule1))] Harry is white.[(((triple7 triple6) -> rule1))]