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