The bald eagle eats the cat. The bald eagle is blue. The bald eagle is round. The cat chases the bald eagle. The cat chases the mouse. The cat eats the bald eagle. The cat eats the mouse. The mouse chases the bald eagle. The mouse chases the cat. The mouse eats the bald eagle. The mouse eats the cat. The mouse is green. The mouse is not rough. The mouse is round. The mouse needs the bald eagle. The mouse needs the cat. If something chases the bald eagle and it eats the bald eagle then it chases the mouse. If the mouse is round and the mouse eats the bald eagle then the bald eagle eats the mouse.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
If something chases the bald eagle and it eats the bald eagle then it chases the mouse.
((("something" "chases" "bald eagle" "+") ("something" "eats" "bald eagle" "+")) -> ("something" "chases" "mouse" "+"))
If the mouse is round and the mouse eats the bald eagle then the bald eagle eats the mouse.
((("mouse" "is" "round" "+") ("mouse" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
The cat chases the mouse.
True
1
proof
[(triple5 OR ((triple4 triple6) -> rule1))]
("cat" "chases" "mouse" "+")
triple5
((triple4 triple6) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse does not eat the cat.
False
1
inv-proof
[(triple11)]
("mouse" "eats" "cat" "-")
triple11
The mouse chases the mouse.
True
3
proof
[(((triple8 triple10) -> rule1))]
("mouse" "chases" "mouse" "+")
((triple8 triple10) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
3
inv-proof
[(((triple8 triple10) -> rule1))]
("mouse" "chases" "mouse" "-")
((triple8 triple10) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bald eagle does not chase the mouse.
Unknown
inv-rconc
[@1: The bald eagle chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "chases" "mouse" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
The cat is not big.
Unknown
inv-random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "-")
The bald eagle chases the cat.
Unknown
random
[@0: The bald eagle chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "cat" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is round.[(triple3)] The cat chases the bald eagle.[(triple4)] The cat chases the mouse.[(triple5 OR ((triple4 triple6) -> rule1))] The cat eats the bald eagle.[(triple6)] The cat eats the mouse.[(triple7)] The mouse chases the bald eagle.[(triple8)] The mouse chases the cat.[(triple9)] The mouse eats the bald eagle.[(triple10)] The mouse eats the cat.[(triple11)] The mouse is green.[(triple12)] The mouse is not rough.[(triple13)] The mouse is round.[(triple14)] The mouse needs the bald eagle.[(triple15)] The mouse needs the cat.[(triple16)] @1: The bald eagle eats the mouse.[(((triple14 triple10) -> rule2))] The mouse chases the mouse.[(((triple8 triple10) -> rule1))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple4
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple5
((triple4 triple6) -> (rule1 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple6
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple7
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple8
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple9
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple10
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple11
The mouse is green.
("mouse" "is" "green" "+")
triple12
The mouse is not rough.
("mouse" "is" "rough" "-")
triple13
The mouse is round.
("mouse" "is" "round" "+")
triple14
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple15
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple16
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
((triple14 triple10) -> (rule2 % int1))
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple8 triple10) -> (rule1 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1