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