Dave is big. Dave is green. Dave is not kind. Dave is nice. Dave is red. Dave is round. Dave is young. Harry is big. Harry is not green. Harry is kind. Harry is nice. Harry is red. Harry is round. Harry is not young. Green, round things are red. Green, nice things are big. If something is green and not big then it is not kind.
Harry is kind.
@0: Dave is big.[(triple1 OR ((triple2 triple4) -> rule2))] Dave is green.[(triple2)] Dave is nice.[(triple4)] Dave is not kind.[(triple3)] Dave is red.[(triple5 OR ((triple2 triple6) -> rule1))] Dave is round.[(triple6)] Dave is young.[(triple7)] Harry is big.[(triple8)] Harry is kind.[(triple10)] Harry is nice.[(triple11)] Harry is not green.[(triple9)] Harry is not young.[(triple14)] Harry is red.[(triple12)] Harry is round.[(triple13)]