Bob is rough. Dave is young. Fiona is kind. Harry is rough. If Fiona is furry and Fiona is kind then Fiona is big. Young things are big. All rough, young things are kind.
Harry is not big.
@0: Bob is rough.[(triple1)] Dave is young.[(triple2)] Fiona is kind.[(triple3)] Harry is rough.[(triple4)] @1: Dave is big.[(((triple2) -> rule2))]