The bald eagle is green. The bald eagle is rough. The bald eagle needs the bear. The bear eats the mouse. The bear eats the tiger. The bear needs the mouse. The mouse eats the tiger. The mouse is green. The tiger eats the mouse. The tiger is blue. The tiger is rough. The tiger likes the bald eagle. The tiger likes the bear. The tiger needs the bear. The tiger needs the mouse. If someone eats the mouse then the mouse likes the tiger. If someone likes the tiger then the tiger likes the mouse. If the bald eagle is green then the bald eagle likes the bear.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is green.
("mouse" "is" "green" "+")
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger needs the bear.
("tiger" "needs" "bear" "+")
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
If someone eats the mouse then the mouse likes the tiger.
((("someone" "eats" "mouse" "+")) -> ("mouse" "likes" "tiger" "+"))
If someone likes the tiger then the tiger likes the mouse.
((("someone" "likes" "tiger" "+")) -> ("tiger" "likes" "mouse" "+"))
If the bald eagle is green then the bald eagle likes the bear.
((("bald eagle" "is" "green" "+")) -> ("bald eagle" "likes" "bear" "+"))
The bear eats the mouse.
True
1
proof
[(triple4)]
("bear" "eats" "mouse" "+")
triple4
The tiger does not need the mouse.
False
1
inv-proof
[(triple15)]
("tiger" "needs" "mouse" "-")
triple15
The mouse likes the tiger.
True
2
proof
[(((triple4) -> rule1) OR ((triple9) -> rule1))]
("mouse" "likes" "tiger" "+")
((triple4) -> (rule1 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
((triple9) -> (rule1 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The mouse does not like the tiger.
False
2
inv-proof
[(((triple4) -> rule1) OR ((triple9) -> rule1))]
("mouse" "likes" "tiger" "-")
((triple4) -> (rule1 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
((triple9) -> (rule1 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The tiger likes the mouse.
True
3
proof
[(((((triple4) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("tiger" "likes" "mouse" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The tiger does not like the mouse.
False
3
inv-proof
[(((((triple4) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
("tiger" "likes" "mouse" "-")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
The mouse does not like the bear.
Unknown
inv-random
[@0: The mouse likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bear" "-")
The bald eagle eats the tiger.
Unknown
random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "+")
The bear does not need the tiger.
Unknown
inv-random
[@0: The bear needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "tiger" "-")
The mouse needs the bear.
Unknown
random
[@0: The mouse needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "bear" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The tiger is green.
Unknown
random
[@0: The tiger is green.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "green" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle needs the bear.[(triple3)] The bear eats the mouse.[(triple4)] The bear eats the tiger.[(triple5)] The bear needs the mouse.[(triple6)] The mouse eats the tiger.[(triple7)] The mouse is green.[(triple8)] The tiger eats the mouse.[(triple9)] The tiger is blue.[(triple10)] The tiger is rough.[(triple11)] The tiger likes the bald eagle.[(triple12)] The tiger likes the bear.[(triple13)] The tiger needs the bear.[(triple14)] The tiger needs the mouse.[(triple15)] @1: The bald eagle likes the bear.[(((triple1) -> rule3))] The mouse likes the tiger.[(((triple4) -> rule1) OR ((triple9) -> rule1))] @2: The tiger likes the mouse.[(((((triple4) -> rule1)) -> rule2) OR ((((triple9) -> rule1)) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple4
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple5
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple6
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The tiger eats the mouse.
("tiger" "eats" "mouse" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is rough.
("tiger" "is" "rough" "+")
triple11
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple12
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple13
The tiger needs the bear.
("tiger" "needs" "bear" "+")
triple14
The tiger needs the mouse.
("tiger" "needs" "mouse" "+")
triple15
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
((triple1) -> (rule3 % int1))
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
((triple4) -> (rule1 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
((triple9) -> (rule1 % int1))
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int1
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
((((triple4) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2
((((triple9) -> (rule1 % int2))) -> (rule2 % int1))
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
int1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
int2