The bald eagle does not chase the mouse. The bald eagle chases the tiger. The bald eagle is blue. The cow does not visit the tiger. The mouse chases the cow. The mouse chases the tiger. The mouse is round. The mouse does not visit the bald eagle. The tiger eats the cow. The tiger is not blue. If something eats the mouse and it does not visit the bald eagle then the bald eagle visits the tiger. If the mouse is blue then the mouse chases the tiger. If something eats the tiger and it visits the bald eagle then the tiger is nice.
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
If something eats the mouse and it does not visit the bald eagle then the bald eagle visits the tiger.
((("something" "eats" "mouse" "+") ("something" "visits" "bald eagle" "~")) -> ("bald eagle" "visits" "tiger" "+"))
If the mouse is blue then the mouse chases the tiger.
((("mouse" "is" "blue" "+")) -> ("mouse" "chases" "tiger" "+"))
If something eats the tiger and it visits the bald eagle then the tiger is nice.
((("something" "eats" "tiger" "+") ("something" "visits" "bald eagle" "+")) -> ("tiger" "is" "nice" "+"))
The bald eagle chases the tiger.
True
1
proof
[(triple2)]
("bald eagle" "chases" "tiger" "+")
triple2
The tiger is blue.
False
1
inv-proof
[(triple10)]
("tiger" "is" "blue" "+")
triple10
The bald eagle does not visit the tiger.
Unknown
inv-rconc
[@1: The bald eagle visits the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "tiger" "-")
The cow chases the mouse.
Unknown
random
[@0: The cow chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "mouse" "+")
@0: The bald eagle chases the tiger.[(triple2)] The bald eagle does not chase the mouse.[(triple1)] The bald eagle is blue.[(triple3)] The cow does not visit the tiger.[(triple4)] The mouse chases the cow.[(triple5)] The mouse chases the tiger.[(triple6)] The mouse does not visit the bald eagle.[(triple8)] The mouse is round.[(triple7)] The tiger eats the cow.[(triple9)] The tiger is not blue.[(triple10)]
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
triple2
The bald eagle does not chase the mouse.
("bald eagle" "chases" "mouse" "-")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple3
The cow does not visit the tiger.
("cow" "visits" "tiger" "-")
triple4
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple5
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple6
The mouse does not visit the bald eagle.
("mouse" "visits" "bald eagle" "-")
triple8
The mouse is round.
("mouse" "is" "round" "+")
triple7
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple9
The tiger is not blue.
("tiger" "is" "blue" "-")
triple10