Dave is blue. Dave is red. Dave is white. If something is quiet and blue then it is red. All red things are round. If Dave is kind and Dave is white then Dave is red. Round, blue things are kind. If something is white and young then it is kind. If Dave is red and Dave is kind then Dave is white.
Dave is quiet.
@0: Dave is blue.[(triple1)] Dave is red.[(triple2)] Dave is white.[(triple3 OR ((triple2 ((((triple2) -> rule2) triple1) -> rule4)) -> rule6))] @1: Dave is round.[(((triple2) -> rule2))] @2: Dave is kind.[(((((triple2) -> rule2) triple1) -> rule4))]