The bear is not blue. The bear is kind. The cat eats the mouse. The cat is not big. The cat is blue. The cat does not like the lion. The lion does not chase the cat. The lion is blue. The lion likes the mouse. The mouse eats the cat. The mouse is cold. The mouse is kind. If someone likes the bear then the bear is not kind. If someone likes the bear and they eat the bear then they are blue.
The bear is not blue.
("bear" "is" "blue" "-")
The bear is kind.
("bear" "is" "kind" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is not big.
("cat" "is" "big" "-")
The cat is blue.
("cat" "is" "blue" "+")
The cat does not like the lion.
("cat" "likes" "lion" "-")
The lion does not chase the cat.
("lion" "chases" "cat" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
If someone likes the bear then the bear is not kind.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "kind" "-"))
If someone likes the bear and they eat the bear then they are blue.
((("someone" "likes" "bear" "+") ("someone" "eats" "bear" "+")) -> ("someone" "is" "blue" "+"))
The lion likes the mouse.
True
1
proof
[(triple9)]
("lion" "likes" "mouse" "+")
triple9
The lion chases the cat.
False
1
inv-proof
[(triple7)]
("lion" "chases" "cat" "+")
triple7
The mouse is not blue.
Unknown
inv-rconc
[@1: The mouse is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "blue" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bear is kind.[(triple2)] The bear is not blue.[(triple1)] The cat does not like the lion.[(triple6)] The cat eats the mouse.[(triple3)] The cat is blue.[(triple5)] The cat is not big.[(triple4)] The lion does not chase the cat.[(triple7)] The lion is blue.[(triple8)] The lion likes the mouse.[(triple9)] The mouse eats the cat.[(triple10)] The mouse is cold.[(triple11)] The mouse is kind.[(triple12)]
The bear is kind.
("bear" "is" "kind" "+")
triple2
The bear is not blue.
("bear" "is" "blue" "-")
triple1
The cat does not like the lion.
("cat" "likes" "lion" "-")
triple6
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple5
The cat is not big.
("cat" "is" "big" "-")
triple4
The lion does not chase the cat.
("lion" "chases" "cat" "-")
triple7
The lion is blue.
("lion" "is" "blue" "+")
triple8
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple9
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple10
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse is kind.
("mouse" "is" "kind" "+")
triple12