Fiona is blue. Gary is smart. Blue, quiet things are kind. If Fiona is blue then Fiona is young. If Fiona is young and Fiona is not blue then Fiona is quiet. If Fiona is not blue then Fiona is smart. If Fiona is young then Fiona is smart. All quiet, kind things are young. Kind, young things are not red. If Fiona is young then Fiona is kind.
Fiona is young.
@0: Fiona is blue.[(triple1)] Gary is smart.[(triple2)] @1: Fiona is young.[(((triple1) -> rule2))] @2: Fiona is kind.[(((((triple1) -> rule2)) -> rule8))] Fiona is smart.[(((((triple1) -> rule2)) -> rule5))] @3: Fiona is not red.[(((((((triple1) -> rule2)) -> rule8) ((triple1) -> rule2)) -> rule7))]