Charlie is kind. Fiona is young. Gary is rough. Harry is blue. Rough things are young. Round things are not young. If something is big and not rough then it is kind. Blue things are kind. If Charlie is blue and Charlie is young then Charlie is big. If Charlie is round then Charlie is not furry.
Gary is not rough.
@0: Charlie is kind.[(triple1)] Fiona is young.[(triple2)] Gary is rough.[(triple3)] Harry is blue.[(triple4)] @1: Gary is young.[(((triple3) -> rule1))] Harry is kind.[(((triple4) -> rule4))]