Dave is green. Dave is quiet. Dave is white. Rough, white people are furry. If Dave is red and Dave is nice then Dave is quiet. If someone is rough then they are nice. If someone is quiet and nice then they are red. If someone is green then they are rough. Nice people are quiet. If someone is green then they are rough. If someone is rough and green then they are white.
Dave is not nice.
@0: Dave is green.[(triple1)] Dave is quiet.[(triple2 OR ((((((triple1) -> rule5)) -> rule3)) -> rule6) OR ((((((triple1) -> rule7)) -> rule3)) -> rule6))] Dave is white.[(triple3 OR ((((triple1) -> rule5) triple1) -> rule8) OR ((((triple1) -> rule7) triple1) -> rule8))] @1: Dave is rough.[(((triple1) -> rule5) OR ((triple1) -> rule7))] @2: Dave is furry.[(((((triple1) -> rule5) triple3) -> rule1) OR ((((triple1) -> rule7) triple3) -> rule1) OR ((((triple1) -> rule5) ((((triple1) -> rule5) triple1) -> rule8)) -> rule1) OR ((((triple1) -> rule5) ((((triple1) -> rule7) triple1) -> rule8)) -> rule1) OR ((((triple1) -> rule7) ((((triple1) -> rule5) triple1) -> rule8)) -> rule1) OR ((((triple1) -> rule7) ((((triple1) -> rule7) triple1) -> rule8)) -> rule1))] Dave is nice.[(((((triple1) -> rule5)) -> rule3) OR ((((triple1) -> rule7)) -> rule3))] @3: Dave is red.[(((triple2 ((((triple1) -> rule5)) -> rule3)) -> rule4) OR ((triple2 ((((triple1) -> rule7)) -> rule3)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule6) ((((triple1) -> rule5)) -> rule3)) -> rule4) OR ((((((((triple1) -> rule5)) -> rule3)) -> rule6) ((((triple1) -> rule7)) -> rule3)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule3)) -> rule6) ((((triple1) -> rule5)) -> rule3)) -> rule4) OR ((((((((triple1) -> rule7)) -> rule3)) -> rule6) ((((triple1) -> rule7)) -> rule3)) -> rule4))]