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