Anne is green. Anne is nice. Anne is red. Anne is not smart. Anne is white. Fiona is not kind. Fiona is smart. Kind people are white. If someone is white then they are not kind. If Fiona is red and Fiona is nice then Fiona is not green. All white people are nice. If Fiona is not kind then Fiona is not round. If someone is green and not round then they are smart. All red people are green. If someone is nice and not round then they are not green.
Anne is green.
("Anne" "is" "green" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is white.
("Anne" "is" "white" "+")
Fiona is not kind.
("Fiona" "is" "kind" "-")
Fiona is smart.
("Fiona" "is" "smart" "+")
Kind people are white.
((("someone" "is" "kind" "+")) -> ("someone" "is" "white" "+"))
If someone is white then they are not kind.
((("someone" "is" "white" "+")) -> ("someone" "is" "kind" "-"))
If Fiona is red and Fiona is nice then Fiona is not green.
((("Fiona" "is" "red" "+") ("Fiona" "is" "nice" "+")) -> ("Fiona" "is" "green" "-"))
All white people are nice.
((("someone" "is" "white" "+")) -> ("someone" "is" "nice" "+"))
If Fiona is not kind then Fiona is not round.
((("Fiona" "is" "kind" "~")) -> ("Fiona" "is" "round" "-"))
If someone is green and not round then they are smart.
((("someone" "is" "green" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "smart" "+"))
All red people are green.
((("someone" "is" "red" "+")) -> ("someone" "is" "green" "+"))
If someone is nice and not round then they are not green.
((("someone" "is" "nice" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "green" "-"))
Anne is not smart.
True
1
proof
[(triple4)]
("Anne" "is" "smart" "-")
triple4
Anne is smart.
False
1
inv-proof
[(triple4)]
("Anne" "is" "smart" "+")
triple4
Fiona is not green.
Unknown
inv-rconc
[@1: Fiona is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("Fiona" "is" "green" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
@0: Anne is green.[(triple1 OR ((triple3) -> rule7))] Anne is nice.[(triple2 OR ((triple5) -> rule4))] Anne is not smart.[(triple4)] Anne is red.[(triple3)] Anne is white.[(triple5)] Fiona is not kind.[(triple6)] Fiona is smart.[(triple7)] @1: Anne is not kind.[(((triple5) -> rule2))] Fiona is not round.[(((triple6) -> rule5))]
Anne is green.
("Anne" "is" "green" "+")
triple1
((triple3) -> (rule7 % int1))
Anne is green.
("Anne" "is" "green" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple2
((triple5) -> (rule4 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not smart.
("Anne" "is" "smart" "-")
triple4
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple5
Fiona is not kind.
("Fiona" "is" "kind" "-")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Anne is not kind.
("Anne" "is" "kind" "-")
((triple5) -> (rule2 % int1))
Anne is not kind.
("Anne" "is" "kind" "-")
int1
Fiona is not round.
("Fiona" "is" "round" "-")
((triple6) -> (rule5 % int1))
Fiona is not round.
("Fiona" "is" "round" "-")
int1