The bald eagle eats the mouse. The bald eagle eats the tiger. The cow chases the bald eagle. The cow chases the tiger. The cow eats the bald eagle. The cow eats the mouse. The cow eats the tiger. The mouse chases the tiger. The mouse eats the bald eagle. The mouse is kind. The mouse likes the cow. The mouse likes the tiger. The tiger eats the cow. The tiger is young. The tiger likes the mouse. If something eats the tiger then the tiger chases the bald eagle.
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow chases the tiger.
("cow" "chases" "tiger" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow eats the tiger.
("cow" "eats" "tiger" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
If something eats the tiger then the tiger chases the bald eagle.
((("something" "eats" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "+"))
The tiger likes the mouse.
True
1
proof
[(triple15)]
("tiger" "likes" "mouse" "+")
triple15
The mouse does not chase the tiger.
False
1
inv-proof
[(triple8)]
("mouse" "chases" "tiger" "-")
triple8
The tiger chases the bald eagle.
True
2
proof
[(((triple2) -> rule1) OR ((triple7) -> rule1))]
("tiger" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
((triple7) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger does not chase the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1) OR ((triple7) -> rule1))]
("tiger" "chases" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
((triple7) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger does not like the bald eagle.
Unknown
inv-random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "-")
The mouse likes the bald eagle.
Unknown
random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The cow is round.
Unknown
random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "+")
@0: The bald eagle eats the mouse.[(triple1)] The bald eagle eats the tiger.[(triple2)] The cow chases the bald eagle.[(triple3)] The cow chases the tiger.[(triple4)] The cow eats the bald eagle.[(triple5)] The cow eats the mouse.[(triple6)] The cow eats the tiger.[(triple7)] The mouse chases the tiger.[(triple8)] The mouse eats the bald eagle.[(triple9)] The mouse is kind.[(triple10)] The mouse likes the cow.[(triple11)] The mouse likes the tiger.[(triple12)] The tiger eats the cow.[(triple13)] The tiger is young.[(triple14)] The tiger likes the mouse.[(triple15)] @1: The tiger chases the bald eagle.[(((triple2) -> rule1) OR ((triple7) -> rule1))]
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple1
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple3
The cow chases the tiger.
("cow" "chases" "tiger" "+")
triple4
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple5
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple6
The cow eats the tiger.
("cow" "eats" "tiger" "+")
triple7
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple8
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple11
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple12
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple13
The tiger is young.
("tiger" "is" "young" "+")
triple14
The tiger likes the mouse.
("tiger" "likes" "mouse" "+")
triple15
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
((triple7) -> (rule1 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1