Anne is not green. Anne is red. Anne is round. Bob is not big. Bob is not red. Bob is round. Charlie is green. If something is big then it is red. If something is kind and not green then it is not rough. Big things are rough.
Anne is not green.
("Anne" "is" "green" "-")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Bob is not big.
("Bob" "is" "big" "-")
Bob is not red.
("Bob" "is" "red" "-")
Bob is round.
("Bob" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
If something is big then it is red.
((("something" "is" "big" "+")) -> ("something" "is" "red" "+"))
If something is kind and not green then it is not rough.
((("something" "is" "kind" "+") ("something" "is" "green" "~")) -> ("something" "is" "rough" "-"))
Big things are rough.
((("something" "is" "big" "+")) -> ("something" "is" "rough" "+"))
Charlie is green.
True
1
proof
[(triple7)]
("Charlie" "is" "green" "+")
triple7
Anne is not round.
False
1
inv-proof
[(triple3)]
("Anne" "is" "round" "-")
triple3
Bob is not rough.
Unknown
inv-rconc
[@1: Bob is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Bob" "is" "rough" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
@0: Anne is not green.[(triple1)] Anne is red.[(triple2)] Anne is round.[(triple3)] Bob is not big.[(triple4)] Bob is not red.[(triple5)] Bob is round.[(triple6)] Charlie is green.[(triple7)]
Anne is not green.
("Anne" "is" "green" "-")
triple1
Anne is red.
("Anne" "is" "red" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Bob is not big.
("Bob" "is" "big" "-")
triple4
Bob is not red.
("Bob" "is" "red" "-")
triple5
Bob is round.
("Bob" "is" "round" "+")
triple6
Charlie is green.
("Charlie" "is" "green" "+")
triple7