Dave is blue. Dave is cold. Dave is nice. All kind, blue people are round. All blue people are smart. If Dave is kind and Dave is nice then Dave is round. Kind, round people are white. Smart people are kind. If someone is cold and kind then they are nice. If someone is round and nice then they are blue. Round people are kind.
Dave is nice.
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is nice.[(triple3 OR ((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule6))] @1: Dave is smart.[(((triple1) -> rule2))] @2: Dave is kind.[(((((triple1) -> rule2)) -> rule5))] @3: Dave is round.[(((((((triple1) -> rule2)) -> rule5) triple1) -> rule1) OR ((((((triple1) -> rule2)) -> rule5) triple3) -> rule3) OR ((((((triple1) -> rule2)) -> rule5) ((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule6)) -> rule3))] @4: Dave is white.[(((((((triple1) -> rule2)) -> rule5) ((((((triple1) -> rule2)) -> rule5) triple1) -> rule1)) -> rule4) OR ((((((triple1) -> rule2)) -> rule5) ((((((triple1) -> rule2)) -> rule5) triple3) -> rule3)) -> rule4) OR ((((((triple1) -> rule2)) -> rule5) ((((((triple1) -> rule2)) -> rule5) ((triple2 ((((triple1) -> rule2)) -> rule5)) -> rule6)) -> rule3)) -> rule4))]