Anne is not furry. Anne is not white. Anne is not young. Charlie is quiet. Charlie is rough. Charlie is white. Dave is not quiet. Fiona is blue. Fiona is furry. Fiona is rough. Fiona is white. Fiona is young. Quiet, white people are not blue.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is not white.
("Anne" "is" "white" "-")
Anne is not young.
("Anne" "is" "young" "-")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Fiona is young.
("Fiona" "is" "young" "+")
Quiet, white people are not blue.
((("someone" "is" "quiet" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "blue" "-"))
Dave is not quiet.
True
1
proof
[(triple7)]
("Dave" "is" "quiet" "-")
triple7
Charlie is not rough.
False
1
inv-proof
[(triple5)]
("Charlie" "is" "rough" "-")
triple5
Charlie is not blue.
True
3
proof
[(((triple4 triple6) -> rule1))]
("Charlie" "is" "blue" "-")
((triple4 triple6) -> (rule1 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is blue.
False
3
inv-proof
[(((triple4 triple6) -> rule1))]
("Charlie" "is" "blue" "+")
((triple4 triple6) -> (rule1 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1
Charlie is not red.
Unknown
inv-random
[@0: Charlie is red.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "red" "-")
Dave is furry.
Unknown
random
[@0: Dave is furry.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "furry" "+")
Charlie is not young.
Unknown
inv-random
[@0: Charlie is young.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "young" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is not furry.[(triple1)] Anne is not white.[(triple2)] Anne is not young.[(triple3)] Charlie is quiet.[(triple4)] Charlie is rough.[(triple5)] Charlie is white.[(triple6)] Dave is not quiet.[(triple7)] Fiona is blue.[(triple8)] Fiona is furry.[(triple9)] Fiona is rough.[(triple10)] Fiona is white.[(triple11)] Fiona is young.[(triple12)] @1: Charlie is not blue.[(((triple4 triple6) -> rule1))]
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is not white.
("Anne" "is" "white" "-")
triple2
Anne is not young.
("Anne" "is" "young" "-")
triple3
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple4
Charlie is rough.
("Charlie" "is" "rough" "+")
triple5
Charlie is white.
("Charlie" "is" "white" "+")
triple6
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple7
Fiona is blue.
("Fiona" "is" "blue" "+")
triple8
Fiona is furry.
("Fiona" "is" "furry" "+")
triple9
Fiona is rough.
("Fiona" "is" "rough" "+")
triple10
Fiona is white.
("Fiona" "is" "white" "+")
triple11
Fiona is young.
("Fiona" "is" "young" "+")
triple12
Charlie is not blue.
("Charlie" "is" "blue" "-")
((triple4 triple6) -> (rule1 % int1))
Charlie is not blue.
("Charlie" "is" "blue" "-")
int1