The bald eagle does not chase the mouse. The bald eagle eats the mouse. The bald eagle visits the bear. The bald eagle visits the mouse. The bald eagle visits the tiger. The bear eats the tiger. The bear is nice. The mouse is blue. The tiger is blue. The tiger visits the bear. If the bear is not green then the bear visits the bald eagle. If someone visits the bear and they are green then they eat the tiger. If the bald eagle eats the mouse and the mouse eats the bald eagle then the bald eagle chases the mouse. If someone visits the mouse then the mouse chases the bear. If someone chases the mouse and they are not green then the mouse chases the bear. If someone chases the bald eagle then they chase the mouse. If the bald eagle eats the tiger and the tiger does not eat the bald eagle then the tiger is rough. If the mouse does not eat the tiger then the tiger is blue.
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is nice.
("bear" "is" "nice" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger visits the bear.
("tiger" "visits" "bear" "+")
If the bear is not green then the bear visits the bald eagle.
((("bear" "is" "green" "~")) -> ("bear" "visits" "bald eagle" "+"))
If someone visits the bear and they are green then they eat the tiger.
((("someone" "visits" "bear" "+") ("someone" "is" "green" "+")) -> ("someone" "eats" "tiger" "+"))
If the bald eagle eats the mouse and the mouse eats the bald eagle then the bald eagle chases the mouse.
((("bald eagle" "eats" "mouse" "+") ("mouse" "eats" "bald eagle" "+")) -> ("bald eagle" "chases" "mouse" "+"))
If someone visits the mouse then the mouse chases the bear.
((("someone" "visits" "mouse" "+")) -> ("mouse" "chases" "bear" "+"))
If someone chases the mouse and they are not green then the mouse chases the bear.
((("someone" "chases" "mouse" "+") ("someone" "is" "green" "~")) -> ("mouse" "chases" "bear" "+"))
If someone chases the bald eagle then they chase the mouse.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "mouse" "+"))
If the bald eagle eats the tiger and the tiger does not eat the bald eagle then the tiger is rough.
((("bald eagle" "eats" "tiger" "+") ("tiger" "eats" "bald eagle" "~")) -> ("tiger" "is" "rough" "+"))
If the mouse does not eat the tiger then the tiger is blue.
((("mouse" "eats" "tiger" "~")) -> ("tiger" "is" "blue" "+"))
The bald eagle eats the mouse.
True
1
proof
[(triple2)]
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle does not visit the bear.
False
1
inv-proof
[(triple3)]
("bald eagle" "visits" "bear" "-")
triple3
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The bear visits the mouse.
Unknown
random
[@0: The bear visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "mouse" "+")
@0: The bald eagle does not chase the mouse.[(triple1)] The bald eagle eats the mouse.[(triple2)] The bald eagle visits the bear.[(triple3)] The bald eagle visits the mouse.[(triple4)] The bald eagle visits the tiger.[(triple5)] The bear eats the tiger.[(triple6)] The bear is nice.[(triple7)] The mouse is blue.[(triple8)] The tiger is blue.[(triple9)] The tiger visits the bear.[(triple10)] @1: The mouse chases the bear.[(((triple4) -> rule4))]
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple3
The bald eagle visits the mouse.
("bald eagle" "visits" "mouse" "+")
triple4
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple5
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple6
The bear is nice.
("bear" "is" "nice" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The tiger is blue.
("tiger" "is" "blue" "+")
triple9
The tiger visits the bear.
("tiger" "visits" "bear" "+")
triple10
The mouse chases the bear.
("mouse" "chases" "bear" "+")
((triple4) -> (rule4 % int1))
The mouse chases the bear.
("mouse" "chases" "bear" "+")
int1