Dave is furry. Dave is red. Dave is young. Red people are quiet. If Dave is furry and Dave is red then Dave is quiet. All blue people are furry. If Dave is quiet then Dave is blue. Young people are round. All round, red people are blue. All furry, blue people are green. If Dave is blue then Dave is young.
Dave is green.
@0: Dave is furry.[(triple1 OR ((((((triple2) -> rule1)) -> rule4)) -> rule3) OR ((((((triple3) -> rule5) triple2) -> rule6)) -> rule3))] Dave is red.[(triple2)] Dave is young.[(triple3 OR ((((((triple2) -> rule1)) -> rule4)) -> rule8) OR ((((((triple1 triple2) -> rule2)) -> rule4)) -> rule8))] @1: Dave is quiet.[(((triple2) -> rule1) OR ((triple1 triple2) -> rule2) OR ((((((((triple3) -> rule5) triple2) -> rule6)) -> rule3) triple2) -> rule2))] Dave is round.[(((triple3) -> rule5) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule8)) -> rule5) OR ((((((((triple1 triple2) -> rule2)) -> rule4)) -> rule8)) -> rule5))] @2: Dave is blue.[(((((triple2) -> rule1)) -> rule4) OR ((((triple1 triple2) -> rule2)) -> rule4) OR ((((triple3) -> rule5) triple2) -> rule6))] @3: Dave is green.[(((triple1 ((((triple2) -> rule1)) -> rule4)) -> rule7) OR ((triple1 ((((triple1 triple2) -> rule2)) -> rule4)) -> rule7) OR ((triple1 ((((triple3) -> rule5) triple2) -> rule6)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule3) ((((triple2) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule3) ((((triple1 triple2) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple2) -> rule1)) -> rule4)) -> rule3) ((((triple3) -> rule5) triple2) -> rule6)) -> rule7) OR ((((((((triple3) -> rule5) triple2) -> rule6)) -> rule3) ((((triple2) -> rule1)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule5) triple2) -> rule6)) -> rule3) ((((triple1 triple2) -> rule2)) -> rule4)) -> rule7) OR ((((((((triple3) -> rule5) triple2) -> rule6)) -> rule3) ((((triple3) -> rule5) triple2) -> rule6)) -> rule7))]