Bob is smart. Fiona is quiet. Fiona is not smart. All smart things are young. If Fiona is round then Fiona is not kind. All rough things are blue. All quiet things are not kind. If Bob is smart and Bob is not blue then Bob is not young. If something is rough then it is not quiet. Blue, rough things are quiet. All young things are quiet.
Fiona is not kind.
@0: Bob is smart.[(triple1)] Fiona is not smart.[(triple3)] Fiona is quiet.[(triple2)] @1: Bob is young.[(((triple1) -> rule1))] Fiona is not kind.[(((triple2) -> rule4))] @2: Bob is quiet.[(((((triple1) -> rule1)) -> rule8))] @3: Bob is not kind.[(((((((triple1) -> rule1)) -> rule8)) -> rule4))]