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