Bob is kind. Fiona is blue. Gary is rough. Harry is big. All blue people are young. All white, rough people are kind. All young, smart people are rough. All blue people are young. If someone is smart and white then they are kind. If someone is blue and smart then they are big. If Gary is young and Gary is big then Gary is rough. If someone is white then they are blue.
Harry is not big.
@0: Bob is kind.[(triple1)] Fiona is blue.[(triple2)] Gary is rough.[(triple3)] Harry is big.[(triple4)] @1: Fiona is young.[(((triple2) -> rule1) OR ((triple2) -> rule4))]