Anne is not furry. Anne is rough. Anne is white. Charlie is big. Charlie is not kind. Charlie is rough. Charlie is white. If something is quiet then it is rough. If Anne is rough and Anne is white then Anne is not quiet. If Anne is not white and Anne is not quiet then Anne is green. If something is white and furry then it is kind. If something is white and not quiet then it is kind. If Anne is not green then Anne is furry.
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is rough.
("Anne" "is" "rough" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is big.
("Charlie" "is" "big" "+")
Charlie is not kind.
("Charlie" "is" "kind" "-")
Charlie is rough.
("Charlie" "is" "rough" "+")
Charlie is white.
("Charlie" "is" "white" "+")
If something is quiet then it is rough.
((("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
If Anne is rough and Anne is white then Anne is not quiet.
((("Anne" "is" "rough" "+") ("Anne" "is" "white" "+")) -> ("Anne" "is" "quiet" "-"))
If Anne is not white and Anne is not quiet then Anne is green.
((("Anne" "is" "white" "~") ("Anne" "is" "quiet" "~")) -> ("Anne" "is" "green" "+"))
If something is white and furry then it is kind.
((("something" "is" "white" "+") ("something" "is" "furry" "+")) -> ("something" "is" "kind" "+"))
If something is white and not quiet then it is kind.
((("something" "is" "white" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "kind" "+"))
If Anne is not green then Anne is furry.
((("Anne" "is" "green" "~")) -> ("Anne" "is" "furry" "+"))
Charlie is white.
True
1
proof
[(triple7)]
("Charlie" "is" "white" "+")
triple7
Anne is furry.
False
1
inv-proof
[(triple1)]
("Anne" "is" "furry" "+")
triple1
Anne is not quiet.
True
3
proof
[(((triple2 triple3) -> rule2))]
("Anne" "is" "quiet" "-")
((triple2 triple3) -> (rule2 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is quiet.
False
3
inv-proof
[(((triple2 triple3) -> rule2))]
("Anne" "is" "quiet" "+")
((triple2 triple3) -> (rule2 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is kind.
True
5
proof
[(((triple3 ((triple2 triple3) -> rule2)) -> rule5))]
("Anne" "is" "kind" "+")
((triple3 ((triple2 triple3) -> (rule2 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
int2
Anne is not kind.
False
5
inv-proof
[(((triple3 ((triple2 triple3) -> rule2)) -> rule5))]
("Anne" "is" "kind" "-")
((triple3 ((triple2 triple3) -> (rule2 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
int2
Anne is not green.
Unknown
inv-rconc
[@1: Anne is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "green" "-")
Charlie is green.
Unknown
random
[@0: Charlie is green.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "green" "+")
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Charlie is furry.
Unknown
random
[@0: Charlie is furry.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "furry" "+")
@0: Anne is not furry.[(triple1)] Anne is rough.[(triple2)] Anne is white.[(triple3)] Charlie is big.[(triple4)] Charlie is not kind.[(triple5)] Charlie is rough.[(triple6)] Charlie is white.[(triple7)] @1: Anne is not quiet.[(((triple2 triple3) -> rule2))] @2: Anne is kind.[(((triple3 ((triple2 triple3) -> rule2)) -> rule5))]
Anne is not furry.
("Anne" "is" "furry" "-")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
Charlie is big.
("Charlie" "is" "big" "+")
triple4
Charlie is not kind.
("Charlie" "is" "kind" "-")
triple5
Charlie is rough.
("Charlie" "is" "rough" "+")
triple6
Charlie is white.
("Charlie" "is" "white" "+")
triple7
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple2 triple3) -> (rule2 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Anne is kind.
("Anne" "is" "kind" "+")
((triple3 ((triple2 triple3) -> (rule2 % int2))) -> (rule5 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
int2