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