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