Anne is cold. Anne is kind. Anne is nice. Fiona is kind. Fiona is rough. Fiona is smart. Fiona is white. Gary is green. Gary is kind. Gary is rough. Gary is smart. Gary is not white. If someone is green and cold then they are not smart. If someone is rough then they are smart. If someone is kind and not nice then they are white.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is not white.
("Gary" "is" "white" "-")
If someone is green and cold then they are not smart.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "smart" "-"))
If someone is rough then they are smart.
((("someone" "is" "rough" "+")) -> ("someone" "is" "smart" "+"))
If someone is kind and not nice then they are white.
((("someone" "is" "kind" "+") ("someone" "is" "nice" "~")) -> ("someone" "is" "white" "+"))
Gary is kind.
True
1
proof
[(triple9)]
("Gary" "is" "kind" "+")
triple9
Gary is not green.
False
1
inv-proof
[(triple8)]
("Gary" "is" "green" "-")
triple8
Anne is not smart.
Unknown
inv-rconc
[@1: Anne is smart.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("Anne" "is" "smart" "-")
Gary is cold.
Unknown
random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "+")
@0: Anne is cold.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Fiona is kind.[(triple4)] Fiona is rough.[(triple5)] Fiona is smart.[(triple6 OR ((triple5) -> rule2))] Fiona is white.[(triple7)] Gary is green.[(triple8)] Gary is kind.[(triple9)] Gary is not white.[(triple12)] Gary is rough.[(triple10)] Gary is smart.[(triple11 OR ((triple10) -> rule2))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Fiona is kind.
("Fiona" "is" "kind" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is smart.
("Fiona" "is" "smart" "+")
triple6
((triple5) -> (rule2 % int1))
Fiona is smart.
("Fiona" "is" "smart" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is kind.
("Gary" "is" "kind" "+")
triple9
Gary is not white.
("Gary" "is" "white" "-")
triple12
Gary is rough.
("Gary" "is" "rough" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple11
((triple10) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1