Dave is blue. Dave is kind. Dave is round. If someone is blue then they are round. If someone is blue then they are quiet. If someone is kind and white then they are smart. If someone is quiet then they are smart. If someone is big then they are round. Smart people are white.
Dave is white.
@0: Dave is blue.[(triple1)] Dave is kind.[(triple2)] Dave is round.[(triple3 OR ((triple1) -> rule1))] @1: Dave is quiet.[(((triple1) -> rule2))] @2: Dave is smart.[(((((triple1) -> rule2)) -> rule4))] @3: Dave is white.[(((((((triple1) -> rule2)) -> rule4)) -> rule6))]