Anne is big. Anne is not quiet. Anne is not rough. Anne is not white. Anne is young. Dave is big. Dave is not quiet. Dave is rough. Dave is white. Dave is young. If something is quiet then it is not young. If something is blue and not young then it is nice. If something is white and not young then it is big. If something is quiet then it is big. If something is quiet and not young then it is white. Nice, quiet things are rough.
Anne is big.
("Anne" "is" "big" "+")
Anne is not quiet.
("Anne" "is" "quiet" "-")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is not white.
("Anne" "is" "white" "-")
Anne is young.
("Anne" "is" "young" "+")
Dave is big.
("Dave" "is" "big" "+")
Dave is not quiet.
("Dave" "is" "quiet" "-")
Dave is rough.
("Dave" "is" "rough" "+")
Dave is white.
("Dave" "is" "white" "+")
Dave is young.
("Dave" "is" "young" "+")
If something is quiet then it is not young.
((("something" "is" "quiet" "+")) -> ("something" "is" "young" "-"))
If something is blue and not young then it is nice.
((("something" "is" "blue" "+") ("something" "is" "young" "~")) -> ("something" "is" "nice" "+"))
If something is white and not young then it is big.
((("something" "is" "white" "+") ("something" "is" "young" "~")) -> ("something" "is" "big" "+"))
If something is quiet then it is big.
((("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
If something is quiet and not young then it is white.
((("something" "is" "quiet" "+") ("something" "is" "young" "~")) -> ("something" "is" "white" "+"))
Nice, quiet things are rough.
((("something" "is" "nice" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "rough" "+"))
Dave is white.
True
1
proof
[(triple9)]
("Dave" "is" "white" "+")
triple9
Anne is white.
False
1
inv-proof
[(triple4)]
("Anne" "is" "white" "+")
triple4
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "nice" "-")
Dave is blue.
Unknown
random
[@0: Dave is blue.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "blue" "+")
@0: Anne is big.[(triple1)] Anne is not quiet.[(triple2)] Anne is not rough.[(triple3)] Anne is not white.[(triple4)] Anne is young.[(triple5)] Dave is big.[(triple6)] Dave is not quiet.[(triple7)] Dave is rough.[(triple8)] Dave is white.[(triple9)] Dave is young.[(triple10)]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not quiet.
("Anne" "is" "quiet" "-")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is not white.
("Anne" "is" "white" "-")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple5
Dave is big.
("Dave" "is" "big" "+")
triple6
Dave is not quiet.
("Dave" "is" "quiet" "-")
triple7
Dave is rough.
("Dave" "is" "rough" "+")
triple8
Dave is white.
("Dave" "is" "white" "+")
triple9
Dave is young.
("Dave" "is" "young" "+")
triple10