Anne is green. Anne is rough. Charlie is kind. Charlie is not smart. Gary is blue. Harry is green. Harry is smart. If Anne is white and Anne is nice then Anne is not rough. If someone is green and not blue then they are not rough. All kind people are rough. If someone is white and not green then they are nice. If someone is white and smart then they are nice. Rough, blue people are smart.
Anne is green.
("Anne" "is" "green" "+")
Anne is rough.
("Anne" "is" "rough" "+")
Charlie is kind.
("Charlie" "is" "kind" "+")
Charlie is not smart.
("Charlie" "is" "smart" "-")
Gary is blue.
("Gary" "is" "blue" "+")
Harry is green.
("Harry" "is" "green" "+")
Harry is smart.
("Harry" "is" "smart" "+")
If Anne is white and Anne is nice then Anne is not rough.
((("Anne" "is" "white" "+") ("Anne" "is" "nice" "+")) -> ("Anne" "is" "rough" "-"))
If someone is green and not blue then they are not rough.
((("someone" "is" "green" "+") ("someone" "is" "blue" "~")) -> ("someone" "is" "rough" "-"))
All kind people are rough.
((("someone" "is" "kind" "+")) -> ("someone" "is" "rough" "+"))
If someone is white and not green then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "green" "~")) -> ("someone" "is" "nice" "+"))
If someone is white and smart then they are nice.
((("someone" "is" "white" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "nice" "+"))
Rough, blue people are smart.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "smart" "+"))
Charlie is kind.
True
1
proof
[(triple3)]
("Charlie" "is" "kind" "+")
triple3
Gary is not blue.
False
1
inv-proof
[(triple5)]
("Gary" "is" "blue" "-")
triple5
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Anne" "is" "smart" "-")
Anne is white.
Unknown
random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "+")
@0: Anne is green.[(triple1)] Anne is rough.[(triple2)] Charlie is kind.[(triple3)] Charlie is not smart.[(triple4)] Gary is blue.[(triple5)] Harry is green.[(triple6)] Harry is smart.[(triple7)] @1: Charlie is rough.[(((triple3) -> rule3))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is rough.
("Anne" "is" "rough" "+")
triple2
Charlie is kind.
("Charlie" "is" "kind" "+")
triple3
Charlie is not smart.
("Charlie" "is" "smart" "-")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Harry is green.
("Harry" "is" "green" "+")
triple6
Harry is smart.
("Harry" "is" "smart" "+")
triple7
Charlie is rough.
("Charlie" "is" "rough" "+")
((triple3) -> (rule3 % int1))
Charlie is rough.
("Charlie" "is" "rough" "+")
int1