The bald eagle eats the mouse. The bald eagle is rough. The bald eagle is young. The bald eagle likes the tiger. The bear eats the mouse. The mouse is red. The mouse is rough. The mouse likes the tiger. The tiger is green. The tiger is rough. If something sees the bear and the bear likes the mouse then it is red. If the mouse eats the tiger then the tiger eats the bald eagle. If the bear sees the tiger and the bear eats the mouse then the bear is rough. If something likes the mouse then it sees the bear. If something likes the bear and it eats the tiger then the bear likes the tiger. If something likes the bear then it eats the bear. If something sees the bald eagle then it sees the bear. If something likes the mouse then the mouse likes the bear.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something sees the bear and the bear likes the mouse then it is red.
((("something" "sees" "bear" "+") ("bear" "likes" "mouse" "+")) -> ("something" "is" "red" "+"))
If the mouse eats the tiger then the tiger eats the bald eagle.
((("mouse" "eats" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If the bear sees the tiger and the bear eats the mouse then the bear is rough.
((("bear" "sees" "tiger" "+") ("bear" "eats" "mouse" "+")) -> ("bear" "is" "rough" "+"))
If something likes the mouse then it sees the bear.
((("something" "likes" "mouse" "+")) -> ("something" "sees" "bear" "+"))
If something likes the bear and it eats the tiger then the bear likes the tiger.
((("something" "likes" "bear" "+") ("something" "eats" "tiger" "+")) -> ("bear" "likes" "tiger" "+"))
If something likes the bear then it eats the bear.
((("something" "likes" "bear" "+")) -> ("something" "eats" "bear" "+"))
If something sees the bald eagle then it sees the bear.
((("something" "sees" "bald eagle" "+")) -> ("something" "sees" "bear" "+"))
If something likes the mouse then the mouse likes the bear.
((("something" "likes" "mouse" "+")) -> ("mouse" "likes" "bear" "+"))
The bald eagle is rough.
True
1
proof
[(triple2)]
("bald eagle" "is" "rough" "+")
triple2
The bald eagle is not young.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "young" "-")
triple3
The tiger does not eat the bear.
Unknown
inv-rconc
[@1: The tiger eats the bear.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("tiger" "eats" "bear" "-")
The bear sees the tiger.
Unknown
random
[@0: The bear sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "tiger" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bear eats the mouse.[(triple5)] The mouse is red.[(triple6)] The mouse is rough.[(triple7)] The mouse likes the tiger.[(triple8)] The tiger is green.[(triple9)] The tiger is rough.[(triple10)]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple5
The mouse is red.
("mouse" "is" "red" "+")
triple6
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10