Dave is smart. Fiona is nice. Big people are quiet. Nice people are big. If someone is big and not furry then they are green. If Fiona is smart and Fiona is big then Fiona is young. All quiet people are young. If someone is smart and not green then they are young.
Dave is not furry.
@0: Dave is smart.[(triple1)] Fiona is nice.[(triple2)] @1: Fiona is big.[(((triple2) -> rule2))] @2: Fiona is quiet.[(((((triple2) -> rule2)) -> rule1))] @3: Fiona is young.[(((((((triple2) -> rule2)) -> rule1)) -> rule5))]