Anne is kind. Anne is round. Anne is young. Dave is kind. Dave is nice. Dave is red. Dave is round. All green, young people are nice. Smart people are green. If someone is nice and round then they are red.
Dave is smart.
@0: Anne is kind.[(triple1)] Anne is round.[(triple2)] Anne is young.[(triple3)] Dave is kind.[(triple4)] Dave is nice.[(triple5)] Dave is red.[(triple6 OR ((triple5 triple7) -> rule3))] Dave is round.[(triple7)]