Fiona is red. If something is quiet and not red then it is young. If something is quiet then it is young. If something is smart then it is kind. If something is quiet and nice then it is not kind. All red things are smart. If something is kind and red then it is quiet. If something is kind and not red then it is quiet. If Fiona is not red then Fiona is not quiet.
Fiona is kind.
@0: Fiona is red.[(triple1)] @1: Fiona is smart.[(((triple1) -> rule5))] @2: Fiona is kind.[(((((triple1) -> rule5)) -> rule3))] @3: Fiona is quiet.[(((((((triple1) -> rule5)) -> rule3) triple1) -> rule6))] @4: Fiona is young.[(((((((((triple1) -> rule5)) -> rule3) triple1) -> rule6)) -> rule2))]