Bob is not green. Bob is not rough. Bob is round. Dave is big. Dave is rough. Fiona is big. Fiona is not kind. Fiona is young. Harry is not big. Harry is young. Round people are young.
Dave is not young.
@0: Bob is not green.[(triple1)] Bob is not rough.[(triple2)] Bob is round.[(triple3)] Dave is big.[(triple4)] Dave is rough.[(triple5)] Fiona is big.[(triple6)] Fiona is not kind.[(triple7)] Fiona is young.[(triple8)] Harry is not big.[(triple9)] Harry is young.[(triple10)] @1: Bob is young.[(((triple3) -> rule1))]