The bald eagle chases the cow. The bald eagle chases the mouse. The bald eagle is young. The bald eagle sees the mouse. The cow chases the bald eagle. The cow is rough. The cow sees the bald eagle. The dog chases the bald eagle. The dog chases the mouse. The dog eats the cow. The dog eats the mouse. The dog is rough. The mouse chases the dog. The mouse is young. The mouse sees the dog. If someone sees the dog then the dog chases the cow. If someone eats the bald eagle then they see the cow. If someone sees the cow then they see the mouse.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is rough.
("dog" "is" "rough" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone sees the dog then the dog chases the cow.
((("someone" "sees" "dog" "+")) -> ("dog" "chases" "cow" "+"))
If someone eats the bald eagle then they see the cow.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "cow" "+"))
If someone sees the cow then they see the mouse.
((("someone" "sees" "cow" "+")) -> ("someone" "sees" "mouse" "+"))
The bald eagle sees the mouse.
True
1
proof
[(triple4)]
("bald eagle" "sees" "mouse" "+")
triple4
The cow is not rough.
False
1
inv-proof
[(triple6)]
("cow" "is" "rough" "-")
triple6
The dog chases the cow.
True
2
proof
[(((triple15) -> rule1))]
("dog" "chases" "cow" "+")
((triple15) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog does not chase the cow.
False
2
inv-proof
[(((triple15) -> rule1))]
("dog" "chases" "cow" "-")
((triple15) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog does not see the cow.
Unknown
inv-rconc
[@1: The dog sees the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "sees" "cow" "-")
The cow sees the mouse.
Unknown
rconc
[@2: The cow sees the mouse.[CWA. Example of deepest failure = (rule3 <- rule2 <- FAIL)]]
("cow" "sees" "mouse" "+")
The cow does not eat the mouse.
Unknown
inv-random
[@0: The cow eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "mouse" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle sees the mouse.[(triple4)] The cow chases the bald eagle.[(triple5)] The cow is rough.[(triple6)] The cow sees the bald eagle.[(triple7)] The dog chases the bald eagle.[(triple8)] The dog chases the mouse.[(triple9)] The dog eats the cow.[(triple10)] The dog eats the mouse.[(triple11)] The dog is rough.[(triple12)] The mouse chases the dog.[(triple13)] The mouse is young.[(triple14)] The mouse sees the dog.[(triple15)] @1: The dog chases the cow.[(((triple15) -> rule1))]
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 is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple4
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple5
The cow is rough.
("cow" "is" "rough" "+")
triple6
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
triple7
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple8
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple9
The dog eats the cow.
("dog" "eats" "cow" "+")
triple10
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple11
The dog is rough.
("dog" "is" "rough" "+")
triple12
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple13
The mouse is young.
("mouse" "is" "young" "+")
triple14
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple15
The dog chases the cow.
("dog" "chases" "cow" "+")
((triple15) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1