Charlie is red. Fiona is kind. Gary is not rough. Red people are not big. If someone is young and not blue then they are not big. If someone is furry and not red then they are young.
Gary is not rough.
@0: Charlie is red.[(triple1)] Fiona is kind.[(triple2)] Gary is not rough.[(triple3)] @1: Charlie is not big.[(((triple1) -> rule1))]