Dave is young. All young things are green. If something is red then it is young. White things are kind. All green, white things are red. If something is young then it is quiet. All green, young things are white. If something is green then it is white. All kind things are quiet.
Dave is kind.
@0: Dave is young.[(triple1)] @1: Dave is green.[(((triple1) -> rule1))] Dave is quiet.[(((triple1) -> rule5) OR ((((((((triple1) -> rule1)) -> rule7)) -> rule3)) -> rule8) OR ((((((((triple1) -> rule1) triple1) -> rule6)) -> rule3)) -> rule8))] @2: Dave is white.[(((((triple1) -> rule1)) -> rule7) OR ((((triple1) -> rule1) triple1) -> rule6))] @3: Dave is kind.[(((((((triple1) -> rule1)) -> rule7)) -> rule3) OR ((((((triple1) -> rule1) triple1) -> rule6)) -> rule3))] Dave is red.[(((((triple1) -> rule1) ((((triple1) -> rule1)) -> rule7)) -> rule4) OR ((((triple1) -> rule1) ((((triple1) -> rule1) triple1) -> rule6)) -> rule4))]