The bear is green. The cat is not green. The mouse sees the cat. The rabbit likes the bear. If something sees the mouse then it is green. If something is kind and it chases the rabbit then it does not like the bear. If the mouse sees the bear then the bear is kind. If something is young and blue then it likes the rabbit. If something chases the rabbit then the rabbit sees the cat. If something chases the mouse and the mouse does not chase the cat then the cat is not kind.
The bear is green.
("bear" "is" "green" "+")
The cat is not green.
("cat" "is" "green" "-")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
If something sees the mouse then it is green.
((("something" "sees" "mouse" "+")) -> ("something" "is" "green" "+"))
If something is kind and it chases the rabbit then it does not like the bear.
((("something" "is" "kind" "+") ("something" "chases" "rabbit" "+")) -> ("something" "likes" "bear" "-"))
If the mouse sees the bear then the bear is kind.
((("mouse" "sees" "bear" "+")) -> ("bear" "is" "kind" "+"))
If something is young and blue then it likes the rabbit.
((("something" "is" "young" "+") ("something" "is" "blue" "+")) -> ("something" "likes" "rabbit" "+"))
If something chases the rabbit then the rabbit sees the cat.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "sees" "cat" "+"))
If something chases the mouse and the mouse does not chase the cat then the cat is not kind.
((("something" "chases" "mouse" "+") ("mouse" "chases" "cat" "~")) -> ("cat" "is" "kind" "-"))
The cat is not green.
True
1
proof
[(triple2)]
("cat" "is" "green" "-")
triple2
The mouse does not see the cat.
False
1
inv-proof
[(triple3)]
("mouse" "sees" "cat" "-")
triple3
The cat does not like the rabbit.
Unknown
inv-rconc
[@1: The cat likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "likes" "rabbit" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bear is green.[(triple1)] The cat is not green.[(triple2)] The mouse sees the cat.[(triple3)] The rabbit likes the bear.[(triple4)]
The bear is green.
("bear" "is" "green" "+")
triple1
The cat is not green.
("cat" "is" "green" "-")
triple2
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple3
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple4