Dave is red. Harry is kind. Harry is round. If someone is round then they are big. If someone is red then they are kind. If Dave is kind then Dave is quiet. All kind people are round. If someone is round and not young then they are green. If Dave is not kind and Dave is not quiet then Dave is big. If Dave is quiet and Dave is round then Dave is big. If Dave is not young and Dave is not quiet then Dave is big.
Dave is big.
@0: Dave is red.[(triple1)] Harry is kind.[(triple2)] Harry is round.[(triple3 OR ((triple2) -> rule4))] @1: Dave is kind.[(((triple1) -> rule2))] Harry is big.[(((triple3) -> rule1) OR ((((triple2) -> rule4)) -> rule1))] @2: Dave is quiet.[(((((triple1) -> rule2)) -> rule3))] Dave is round.[(((((triple1) -> rule2)) -> rule4))] @3: Dave is big.[(((((((triple1) -> rule2)) -> rule4)) -> rule1) OR ((((((triple1) -> rule2)) -> rule3) ((((triple1) -> rule2)) -> rule4)) -> rule7))]