The bald eagle chases the cow. The bald eagle is red. The cow eats the bald eagle. The dog eats the mouse. The mouse eats the cow. The mouse is nice. The mouse is red. If the dog sees the bald eagle and the dog chases the cow then the cow sees the mouse. If something is red then it chases the cow. If something eats the mouse and it chases the mouse then it eats the dog. If something eats the mouse then the mouse chases the cow. If something is young then it sees the cow. If the dog is blue then the dog sees the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
If the dog sees the bald eagle and the dog chases the cow then the cow sees the mouse.
((("dog" "sees" "bald eagle" "+") ("dog" "chases" "cow" "+")) -> ("cow" "sees" "mouse" "+"))
If something is red then it chases the cow.
((("something" "is" "red" "+")) -> ("something" "chases" "cow" "+"))
If something eats the mouse and it chases the mouse then it eats the dog.
((("something" "eats" "mouse" "+") ("something" "chases" "mouse" "+")) -> ("something" "eats" "dog" "+"))
If something eats the mouse then the mouse chases the cow.
((("something" "eats" "mouse" "+")) -> ("mouse" "chases" "cow" "+"))
If something is young then it sees the cow.
((("something" "is" "young" "+")) -> ("something" "sees" "cow" "+"))
If the dog is blue then the dog sees the cow.
((("dog" "is" "blue" "+")) -> ("dog" "sees" "cow" "+"))
The bald eagle is red.
True
1
proof
[(triple2)]
("bald eagle" "is" "red" "+")
triple2
The cow does not eat the bald eagle.
False
1
inv-proof
[(triple3)]
("cow" "eats" "bald eagle" "-")
triple3
The mouse chases the cow.
True
2
proof
[(((triple4) -> rule4) OR ((triple7) -> rule2))]
("mouse" "chases" "cow" "+")
((triple4) -> (rule4 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
((triple7) -> (rule2 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The mouse does not chase the cow.
False
2
inv-proof
[(((triple4) -> rule4) OR ((triple7) -> rule2))]
("mouse" "chases" "cow" "-")
((triple4) -> (rule4 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
((triple7) -> (rule2 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
The dog does not chase the cow.
Unknown
inv-rconc
[@1: The dog chases the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "cow" "-")
The bald eagle sees the cow.
Unknown
rconc
[@1: The bald eagle sees the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "sees" "cow" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The dog sees the dog.
Unknown
random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "+")
@0: The bald eagle chases the cow.[(triple1 OR ((triple2) -> rule2))] The bald eagle is red.[(triple2)] The cow eats the bald eagle.[(triple3)] The dog eats the mouse.[(triple4)] The mouse eats the cow.[(triple5)] The mouse is nice.[(triple6)] The mouse is red.[(triple7)] @1: The mouse chases the cow.[(((triple4) -> rule4) OR ((triple7) -> rule2))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
((triple2) -> (rule2 % int1))
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple3
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple4
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse is red.
("mouse" "is" "red" "+")
triple7
The mouse chases the cow.
("mouse" "chases" "cow" "+")
((triple4) -> (rule4 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1
((triple7) -> (rule2 % int1))
The mouse chases the cow.
("mouse" "chases" "cow" "+")
int1