Dave is big. Dave is nice. Erin is rough. Fiona is cold. Fiona is green. Harry is big. Harry is cold. Harry is rough. Harry is round. Harry is not young. If something is rough and big then it is not nice.
Harry is not young.
@0: Dave is big.[(triple1)] Dave is nice.[(triple2)] Erin is rough.[(triple3)] Fiona is cold.[(triple4)] Fiona is green.[(triple5)] Harry is big.[(triple6)] Harry is cold.[(triple7)] Harry is not young.[(triple10)] Harry is rough.[(triple8)] Harry is round.[(triple9)] @1: Harry is not nice.[(((triple8 triple6) -> rule1))]