Bob is big. Charlie is nice. Harry is round. All nice things are big. All young things are nice. If something is round and quiet then it is red.
Harry is round.
@0: Bob is big.[(triple1)] Charlie is nice.[(triple2)] Harry is round.[(triple3)] @1: Charlie is big.[(((triple2) -> rule1))]