Dave is green. All white people are not furry. Red, blue people are not furry. All green people are not furry. Green people are white. All nice, white people are big. If someone is white and not furry then they are not big.
Dave is green.
("Dave" "is" "green" "+")
All white people are not furry.
((("someone" "is" "white" "+")) -> ("someone" "is" "furry" "-"))
Red, blue people are not furry.
((("someone" "is" "red" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "furry" "-"))
All green people are not furry.
((("someone" "is" "green" "+")) -> ("someone" "is" "furry" "-"))
Green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
All nice, white people are big.
((("someone" "is" "nice" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "big" "+"))
If someone is white and not furry then they are not big.
((("someone" "is" "white" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "big" "-"))
Dave is green.
True
1
proof
[(triple1)]
("Dave" "is" "green" "+")
triple1
Dave is not green.
False
1
inv-proof
[(triple1)]
("Dave" "is" "green" "-")
triple1
Dave is not furry.
True
2
proof
[(((triple1) -> rule3) OR ((((triple1) -> rule4)) -> rule1))]
("Dave" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is furry.
False
2
inv-proof
[(((triple1) -> rule3) OR ((((triple1) -> rule4)) -> rule1))]
("Dave" "is" "furry" "+")
((triple1) -> (rule3 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is not big.
True
5
proof
[(((((triple1) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule1)) -> rule6))]
("Dave" "is" "big" "-")
((((triple1) -> (rule4 % int3)) ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is big.
False
5
inv-proof
[(((((triple1) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule1)) -> rule6))]
("Dave" "is" "big" "+")
((((triple1) -> (rule4 % int3)) ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
Dave is not blue.
Unknown
inv-random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "-")
Dave is nice.
Unknown
random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "+")
@0: Dave is green.[(triple1)] @1: Dave is not furry.[(((triple1) -> rule3) OR ((((triple1) -> rule4)) -> rule1))] Dave is white.[(((triple1) -> rule4))] @2: Dave is not big.[(((((triple1) -> rule4) ((triple1) -> rule3)) -> rule6) OR ((((triple1) -> rule4) ((((triple1) -> rule4)) -> rule1)) -> rule6))]
Dave is green.
("Dave" "is" "green" "+")
triple1
Dave is not furry.
("Dave" "is" "furry" "-")
((triple1) -> (rule3 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
((((triple1) -> (rule4 % int2))) -> (rule1 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
int2
Dave is white.
("Dave" "is" "white" "+")
((triple1) -> (rule4 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not big.
("Dave" "is" "big" "-")
((((triple1) -> (rule4 % int3)) ((triple1) -> (rule3 % int2))) -> (rule6 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Dave is white.
("Dave" "is" "white" "+")
int3
((((triple1) -> (rule4 % int3)) ((((triple1) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
Dave is not big.
("Dave" "is" "big" "-")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Dave is white.
("Dave" "is" "white" "+")
int3