Anne is not furry. Anne is green. Anne is young. White people are not quiet. All green, young people are rough. Green, rough people are round. Young, white people are not round. If someone is round and quiet then they are young. If Anne is rough and Anne is furry then Anne is not young. If someone is round and not quiet then they are furry. Quiet people are furry.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
White people are not quiet.
((("someone" "is" "white" "+")) -> ("someone" "is" "quiet" "-"))
All green, young people are rough.
((("someone" "is" "green" "+") ("someone" "is" "young" "+")) -> ("someone" "is" "rough" "+"))
Green, rough people are round.
((("someone" "is" "green" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Young, white people are not round.
((("someone" "is" "young" "+") ("someone" "is" "white" "+")) -> ("someone" "is" "round" "-"))
If someone is round and quiet then they are young.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "young" "+"))
If Anne is rough and Anne is furry then Anne is not young.
((("Anne" "is" "rough" "+") ("Anne" "is" "furry" "+")) -> ("Anne" "is" "young" "-"))
If someone is round and not quiet then they are furry.
((("someone" "is" "round" "+") ("someone" "is" "quiet" "~")) -> ("someone" "is" "furry" "+"))
Quiet people are furry.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "furry" "+"))
Anne is green.
True
1
proof
[(triple2)]
("Anne" "is" "green" "+")
triple2
Anne is not young.
False
1
inv-proof
[(triple3)]
("Anne" "is" "young" "-")
triple3
Anne is rough.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Anne" "is" "rough" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not rough.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Anne" "is" "rough" "-")
((triple2 triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Anne is quiet.
Unknown
random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "+")
@0: Anne is green.[(triple2)] Anne is not furry.[(triple1)] Anne is young.[(triple3)] @1: Anne is rough.[(((triple2 triple3) -> rule2))] @2: Anne is round.[(((triple2 ((triple2 triple3) -> rule2)) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple3
Anne is rough.
("Anne" "is" "rough" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((triple2 ((triple2 triple3) -> (rule2 % int2))) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
int2