The bear eats the mouse. The lion chases the tiger. The lion likes the tiger. The mouse does not chase the lion. The mouse eats the bear. The mouse does not like the lion. The tiger does not chase the mouse. If someone eats the lion then they are not big. If the mouse is blue and the mouse is kind then the mouse chases the lion. If someone likes the bear and the bear eats the tiger then the bear does not chase the lion. If someone chases the tiger and the tiger chases the lion then they like the lion. If someone likes the tiger and they chase the tiger then they like the lion. If someone is big and they like the lion then they chase the tiger. If someone chases the tiger and the tiger does not like the mouse then the tiger is not young. If someone likes the tiger and they are not big then the tiger is blue.
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
If someone eats the lion then they are not big.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "big" "-"))
If the mouse is blue and the mouse is kind then the mouse chases the lion.
((("mouse" "is" "blue" "+") ("mouse" "is" "kind" "+")) -> ("mouse" "chases" "lion" "+"))
If someone likes the bear and the bear eats the tiger then the bear does not chase the lion.
((("someone" "likes" "bear" "+") ("bear" "eats" "tiger" "+")) -> ("bear" "chases" "lion" "-"))
If someone chases the tiger and the tiger chases the lion then they like the lion.
((("someone" "chases" "tiger" "+") ("tiger" "chases" "lion" "+")) -> ("someone" "likes" "lion" "+"))
If someone likes the tiger and they chase the tiger then they like the lion.
((("someone" "likes" "tiger" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "likes" "lion" "+"))
If someone is big and they like the lion then they chase the tiger.
((("someone" "is" "big" "+") ("someone" "likes" "lion" "+")) -> ("someone" "chases" "tiger" "+"))
If someone chases the tiger and the tiger does not like the mouse then the tiger is not young.
((("someone" "chases" "tiger" "+") ("tiger" "likes" "mouse" "~")) -> ("tiger" "is" "young" "-"))
If someone likes the tiger and they are not big then the tiger is blue.
((("someone" "likes" "tiger" "+") ("someone" "is" "big" "~")) -> ("tiger" "is" "blue" "+"))
The tiger does not chase the mouse.
True
1
proof
[(triple7)]
("tiger" "chases" "mouse" "-")
triple7
The bear does not eat the mouse.
False
1
inv-proof
[(triple1)]
("bear" "eats" "mouse" "-")
triple1
The lion likes the lion.
True
3
proof
[(((triple3 triple2) -> rule5))]
("lion" "likes" "lion" "+")
((triple3 triple2) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion does not like the lion.
False
3
inv-proof
[(((triple3 triple2) -> rule5))]
("lion" "likes" "lion" "-")
((triple3 triple2) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The tiger is not blue.
Unknown
inv-rconc
[@1: The tiger is blue.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("tiger" "is" "blue" "-")
The bear likes the lion.
Unknown
rconc
[@1: The bear likes the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "likes" "lion" "+")
The mouse is not young.
Unknown
inv-random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "-")
The lion is kind.
Unknown
random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "+")
@0: The bear eats the mouse.[(triple1)] The lion chases the tiger.[(triple2)] The lion likes the tiger.[(triple3)] The mouse does not chase the lion.[(triple4)] The mouse does not like the lion.[(triple6)] The mouse eats the bear.[(triple5)] The tiger does not chase the mouse.[(triple7)] @1: The lion likes the lion.[(((triple3 triple2) -> rule5))]
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple1
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple2
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple3
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
triple4
The mouse does not like the lion.
("mouse" "likes" "lion" "-")
triple6
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple5
The tiger does not chase the mouse.
("tiger" "chases" "mouse" "-")
triple7
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple3 triple2) -> (rule5 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1