The bald eagle chases the cow. The bald eagle is kind. The bald eagle visits the tiger. The cow is big. The cow is not green. The cow does not visit the mouse. The mouse does not chase the cow. The mouse is green. The mouse is kind. The mouse likes the cow. The mouse visits the cow. The tiger chases the cow. The tiger chases the mouse. The tiger is not red. The tiger likes the bald eagle. The tiger visits the cow. If something likes the bald eagle and the bald eagle does not visit the mouse then the bald eagle likes the tiger. If the bald eagle visits the cow and the bald eagle likes the cow then the bald eagle is nice.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
The tiger is not red.
("tiger" "is" "red" "-")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If something likes the bald eagle and the bald eagle does not visit the mouse then the bald eagle likes the tiger.
((("something" "likes" "bald eagle" "+") ("bald eagle" "visits" "mouse" "~")) -> ("bald eagle" "likes" "tiger" "+"))
If the bald eagle visits the cow and the bald eagle likes the cow then the bald eagle is nice.
((("bald eagle" "visits" "cow" "+") ("bald eagle" "likes" "cow" "+")) -> ("bald eagle" "is" "nice" "+"))
The mouse does not chase the cow.
True
1
proof
[(triple7)]
("mouse" "chases" "cow" "-")
triple7
The bald eagle does not chase the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "cow" "-")
triple1
The bald eagle does not like the tiger.
Unknown
inv-rconc
[@1: The bald eagle likes the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "tiger" "-")
The bald eagle visits the cow.
Unknown
random
[@0: The bald eagle visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cow" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle visits the tiger.[(triple3)] The cow does not visit the mouse.[(triple6)] The cow is big.[(triple4)] The cow is not green.[(triple5)] The mouse does not chase the cow.[(triple7)] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The mouse likes the cow.[(triple10)] The mouse visits the cow.[(triple11)] The tiger chases the cow.[(triple12)] The tiger chases the mouse.[(triple13)] The tiger is not red.[(triple14)] The tiger likes the bald eagle.[(triple15)] The tiger visits the cow.[(triple16)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple3
The cow does not visit the mouse.
("cow" "visits" "mouse" "-")
triple6
The cow is big.
("cow" "is" "big" "+")
triple4
The cow is not green.
("cow" "is" "green" "-")
triple5
The mouse does not chase the cow.
("mouse" "chases" "cow" "-")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple10
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple11
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple12
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
triple13
The tiger is not red.
("tiger" "is" "red" "-")
triple14
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple15
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple16