Dave is big. Dave is cold. Dave is green. Dave is kind. Dave is red. Harry is big. Harry is green. Harry is kind. Harry is nice. Harry is red. Green, kind people are nice.
Harry is not kind.
@0: Dave is big.[(triple1)] Dave is cold.[(triple2)] Dave is green.[(triple3)] Dave is kind.[(triple4)] Dave is red.[(triple5)] Harry is big.[(triple6)] Harry is green.[(triple7)] Harry is kind.[(triple8)] Harry is nice.[(triple9 OR ((triple7 triple8) -> rule1))] Harry is red.[(triple10)] @1: Dave is nice.[(((triple3 triple4) -> rule1))]