Anne is big. Anne is not green. Anne is not rough. Anne is smart. Anne is white. Charlie is not big. Charlie is green. Charlie is not white. Gary is smart. Gary is white. If Charlie is big then Charlie is smart. All white things are kind. Quiet things are kind. All quiet, white things are green. If something is kind and not smart then it is not green. Kind, green things are not white. All quiet things are white. All big, white things are not quiet.
Anne is big.
("Anne" "is" "big" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is not rough.
("Anne" "is" "rough" "-")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is white.
("Anne" "is" "white" "+")
Charlie is not big.
("Charlie" "is" "big" "-")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is not white.
("Charlie" "is" "white" "-")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is white.
("Gary" "is" "white" "+")
If Charlie is big then Charlie is smart.
((("Charlie" "is" "big" "+")) -> ("Charlie" "is" "smart" "+"))
All white things are kind.
((("something" "is" "white" "+")) -> ("something" "is" "kind" "+"))
Quiet things are kind.
((("something" "is" "quiet" "+")) -> ("something" "is" "kind" "+"))
All quiet, white things are green.
((("something" "is" "quiet" "+") ("something" "is" "white" "+")) -> ("something" "is" "green" "+"))
If something is kind and not smart then it is not green.
((("something" "is" "kind" "+") ("something" "is" "smart" "~")) -> ("something" "is" "green" "-"))
Kind, green things are not white.
((("something" "is" "kind" "+") ("something" "is" "green" "+")) -> ("something" "is" "white" "-"))
All quiet things are white.
((("something" "is" "quiet" "+")) -> ("something" "is" "white" "+"))
All big, white things are not quiet.
((("something" "is" "big" "+") ("something" "is" "white" "+")) -> ("something" "is" "quiet" "-"))
Anne is smart.
True
1
proof
[(triple4)]
("Anne" "is" "smart" "+")
triple4
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Gary is not green.
Unknown
inv-rconc
[@1: Gary is green.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("Gary" "is" "green" "-")
Charlie is quiet.
Unknown
random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "+")
@0: Anne is big.[(triple1)] Anne is not green.[(triple2)] Anne is not rough.[(triple3)] Anne is smart.[(triple4)] Anne is white.[(triple5)] Charlie is green.[(triple7)] Charlie is not big.[(triple6)] Charlie is not white.[(triple8)] Gary is smart.[(triple9)] Gary is white.[(triple10)] @1: Anne is kind.[(((triple5) -> rule2))] Anne is not quiet.[(((triple1 triple5) -> rule8))] Gary is kind.[(((triple10) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is not green.
("Anne" "is" "green" "-")
triple2
Anne is not rough.
("Anne" "is" "rough" "-")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Anne is white.
("Anne" "is" "white" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple7
Charlie is not big.
("Charlie" "is" "big" "-")
triple6
Charlie is not white.
("Charlie" "is" "white" "-")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
Gary is white.
("Gary" "is" "white" "+")
triple10
Anne is kind.
("Anne" "is" "kind" "+")
((triple5) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is not quiet.
("Anne" "is" "quiet" "-")
((triple1 triple5) -> (rule8 % int1))
Anne is not quiet.
("Anne" "is" "quiet" "-")
int1
Gary is kind.
("Gary" "is" "kind" "+")
((triple10) -> (rule2 % int1))
Gary is kind.
("Gary" "is" "kind" "+")
int1