Dave is big. Dave is blue. Dave is not green. Dave is nice. Dave is red. Dave is not young. Harry is big. Harry is blue. Harry is kind. Harry is nice. Nice, kind people are green. Red people are big. If someone is kind and not green then they are big.
Dave is kind.
@0: Dave is big.[(triple1 OR ((triple5) -> rule2))] Dave is blue.[(triple2)] Dave is nice.[(triple4)] Dave is not green.[(triple3)] Dave is not young.[(triple6)] Dave is red.[(triple5)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is kind.[(triple9)] Harry is nice.[(triple10)] @1: Harry is green.[(((triple10 triple9) -> rule1))]