Charlie is big. Fiona is kind. Harry is big. If someone is young and smart then they are blue. All white, kind people are blue. White people are big. Young, kind people are green. If someone is blue then they are green. If Fiona is white and Fiona is young then Fiona is kind. Big people are young. Kind people are big.
Harry is not young.
@0: Charlie is big.[(triple1)] Fiona is kind.[(triple2)] Harry is big.[(triple3)] @1: Charlie is young.[(((triple1) -> rule7))] Fiona is big.[(((triple2) -> rule8))] Harry is young.[(((triple3) -> rule7))] @2: Fiona is young.[(((((triple2) -> rule8)) -> rule7))] @3: Fiona is green.[(((((((triple2) -> rule8)) -> rule7) triple2) -> rule4))]