Bob is big. Fiona is young. If Bob is quiet then Bob is kind. Kind things are not nice. Nice things are not smart. If something is young then it is big. If Fiona is big then Fiona is kind. If something is young and not smart then it is furry.
Bob is not young.
@0: Bob is big.[(triple1)] Fiona is young.[(triple2)] @1: Fiona is big.[(((triple2) -> rule4))] @2: Fiona is kind.[(((((triple2) -> rule4)) -> rule5))] @3: Fiona is not nice.[(((((((triple2) -> rule4)) -> rule5)) -> rule2))]