Bob is big. Charlie is smart. Fiona is furry. Harry is quiet. All furry things are young.
Harry is not young.
@0: Bob is big.[(triple1)] Charlie is smart.[(triple2)] Fiona is furry.[(triple3)] Harry is quiet.[(triple4)] @1: Fiona is young.[(((triple3) -> rule1))]