The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle visits the cat. The cat chases the bald eagle. The cat chases the mouse. The cat visits the bald eagle. The cat visits the mouse. The mouse chases the cat. The mouse is green. The mouse visits the bald eagle. If something eats the cat then it eats the mouse. If something visits the bald eagle then it eats the bald eagle.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something eats the cat then it eats the mouse.
((("something" "eats" "cat" "+")) -> ("something" "eats" "mouse" "+"))
If something visits the bald eagle then it eats the bald eagle.
((("something" "visits" "bald eagle" "+")) -> ("something" "eats" "bald eagle" "+"))
The mouse visits the bald eagle.
True
1
proof
[(triple10)]
("mouse" "visits" "bald eagle" "+")
triple10
The bald eagle does not eat the cat.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "cat" "-")
triple2
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The cat is green.
Unknown
random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle visits the cat.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the mouse.[(triple5)] The cat visits the bald eagle.[(triple6)] The cat visits the mouse.[(triple7)] The mouse chases the cat.[(triple8)] The mouse is green.[(triple9)] The mouse visits the bald eagle.[(triple10)] @1: The bald eagle eats the mouse.[(((triple2) -> rule1))] The cat eats the bald eagle.[(((triple6) -> rule2))] The mouse eats the bald eagle.[(((triple10) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple5
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple6
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple7
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple8
The mouse is green.
("mouse" "is" "green" "+")
triple9
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple10
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((triple2) -> (rule1 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple6) -> (rule2 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((triple10) -> (rule2 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1