The bear chases the mouse. The lion is cold. The lion likes the rabbit. The mouse eats the lion. The mouse does not eat the rabbit. The mouse is red. The mouse is young. The rabbit is cold. The rabbit is not young. The rabbit does not like the mouse. If the mouse does not eat the rabbit and the rabbit does not like the bear then the rabbit does not like the lion. If the lion likes the bear and the bear does not eat the rabbit then the bear does not chase the lion. If the mouse likes the bear then the bear eats the lion. If someone eats the bear and the bear likes the mouse then the bear likes the rabbit. If someone is green and they like the lion then the lion does not like the rabbit. If someone chases the mouse then they like the mouse. If someone eats the lion and the lion is kind then the lion is cold. If the rabbit is not kind then the rabbit does not like the mouse.
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
If the mouse does not eat the rabbit and the rabbit does not like the bear then the rabbit does not like the lion.
((("mouse" "eats" "rabbit" "~") ("rabbit" "likes" "bear" "~")) -> ("rabbit" "likes" "lion" "-"))
If the lion likes the bear and the bear does not eat the rabbit then the bear does not chase the lion.
((("lion" "likes" "bear" "+") ("bear" "eats" "rabbit" "~")) -> ("bear" "chases" "lion" "-"))
If the mouse likes the bear then the bear eats the lion.
((("mouse" "likes" "bear" "+")) -> ("bear" "eats" "lion" "+"))
If someone eats the bear and the bear likes the mouse then the bear likes the rabbit.
((("someone" "eats" "bear" "+") ("bear" "likes" "mouse" "+")) -> ("bear" "likes" "rabbit" "+"))
If someone is green and they like the lion then the lion does not like the rabbit.
((("someone" "is" "green" "+") ("someone" "likes" "lion" "+")) -> ("lion" "likes" "rabbit" "-"))
If someone chases the mouse then they like the mouse.
((("someone" "chases" "mouse" "+")) -> ("someone" "likes" "mouse" "+"))
If someone eats the lion and the lion is kind then the lion is cold.
((("someone" "eats" "lion" "+") ("lion" "is" "kind" "+")) -> ("lion" "is" "cold" "+"))
If the rabbit is not kind then the rabbit does not like the mouse.
((("rabbit" "is" "kind" "~")) -> ("rabbit" "likes" "mouse" "-"))
The mouse does not eat the rabbit.
True
1
proof
[(triple5)]
("mouse" "eats" "rabbit" "-")
triple5
The mouse is not young.
False
1
inv-proof
[(triple7)]
("mouse" "is" "young" "-")
triple7
The bear likes the mouse.
True
2
proof
[(((triple1) -> rule6))]
("bear" "likes" "mouse" "+")
((triple1) -> (rule6 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear does not like the mouse.
False
2
inv-proof
[(((triple1) -> rule6))]
("bear" "likes" "mouse" "-")
((triple1) -> (rule6 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The lion likes the mouse.
Unknown
rconc
[@1: The lion likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "likes" "mouse" "+")
The lion does not chase the rabbit.
Unknown
inv-random
[@0: The lion chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "rabbit" "-")
The lion eats the bear.
Unknown
random
[@0: The lion eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bear" "+")
@0: The bear chases the mouse.[(triple1)] The lion is cold.[(triple2)] The lion likes the rabbit.[(triple3)] The mouse does not eat the rabbit.[(triple5)] The mouse eats the lion.[(triple4)] The mouse is red.[(triple6)] The mouse is young.[(triple7)] The rabbit does not like the mouse.[(triple10)] The rabbit is cold.[(triple8)] The rabbit is not young.[(triple9)] @1: The bear likes the mouse.[(((triple1) -> rule6))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple1
The lion is cold.
("lion" "is" "cold" "+")
triple2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple3
The mouse does not eat the rabbit.
("mouse" "eats" "rabbit" "-")
triple5
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse is young.
("mouse" "is" "young" "+")
triple7
The rabbit does not like the mouse.
("rabbit" "likes" "mouse" "-")
triple10
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The rabbit is not young.
("rabbit" "is" "young" "-")
triple9
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((triple1) -> (rule6 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1