Charlie is big. Fiona is big. Gary is red. Harry is kind. If someone is young and nice then they are big. Kind people are young.
Charlie is not big.
@0: Charlie is big.[(triple1)] Fiona is big.[(triple2)] Gary is red.[(triple3)] Harry is kind.[(triple4)] @1: Harry is young.[(((triple4) -> rule2))]