Charlie is white. Dave is green. Erin is white. Green things are not furry. If Erin is round then Erin is not furry. If something is green and not furry then it is white.
Charlie is white.
("Charlie" "is" "white" "+")
Dave is green.
("Dave" "is" "green" "+")
Erin is white.
("Erin" "is" "white" "+")
Green things are not furry.
((("something" "is" "green" "+")) -> ("something" "is" "furry" "-"))
If Erin is round then Erin is not furry.
((("Erin" "is" "round" "+")) -> ("Erin" "is" "furry" "-"))
If something is green and not furry then it is white.
((("something" "is" "green" "+") ("something" "is" "furry" "~")) -> ("something" "is" "white" "+"))
Erin is white.
True
1
proof
[(triple3)]
("Erin" "is" "white" "+")
triple3
Erin is not white.
False
1
inv-proof
[(triple3)]
("Erin" "is" "white" "-")
triple3
Dave is not furry.
True
2
proof
[(((triple2) -> rule1))]
("Dave" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Dave is furry.
False
2
inv-proof
[(((triple2) -> rule1))]
("Dave" "is" "furry" "+")
((triple2) -> (rule1 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Dave is white.
True
4
proof
[(((triple2 ((triple2) -> rule1)) -> rule3))]
("Dave" "is" "white" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Dave is not white.
False
4
inv-proof
[(((triple2 ((triple2) -> rule1)) -> rule3))]
("Dave" "is" "white" "-")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2
Erin is not round.
Unknown
inv-random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
Erin is not rough.
Unknown
inv-random
[@0: Erin is rough.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "rough" "-")
Erin is blue.
Unknown
random
[@0: Erin is blue.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "blue" "+")
Charlie is not furry.
Unknown
inv-random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "-")
Charlie is round.
Unknown
random
[@0: Charlie is round.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "round" "+")
@0: Charlie is white.[(triple1)] Dave is green.[(triple2)] Erin is white.[(triple3)] @1: Dave is not furry.[(((triple2) -> rule1))] @2: Dave is white.[(((triple2 ((triple2) -> rule1)) -> rule3))]
Charlie is white.
("Charlie" "is" "white" "+")
triple1
Dave is green.
("Dave" "is" "green" "+")
triple2
Erin is white.
("Erin" "is" "white" "+")
triple3
Dave is not furry.
("Dave" "is" "furry" "-")
((triple2) -> (rule1 % int1))
Dave is not furry.
("Dave" "is" "furry" "-")
int1
Dave is white.
("Dave" "is" "white" "+")
((triple2 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
Dave is white.
("Dave" "is" "white" "+")
int1
Dave is not furry.
("Dave" "is" "furry" "-")
int2