The bald eagle is green. The bald eagle is rough. The bald eagle is round. The bald eagle needs the cat. The bald eagle sees the mouse. The bald eagle visits the cat. The cat needs the bald eagle. The cat sees the mouse. The cat visits the mouse. The cow needs the bald eagle. The cow sees the cat. The cow sees the mouse. The cow visits the mouse. The mouse needs the cat. The mouse needs the cow. The mouse sees the bald eagle. If someone sees the cat then they are big. If someone needs the cat then they are round. If someone needs the mouse and they are rough then the mouse is cold. If the cow visits the mouse and the cow is cold then the cow visits the cat. If the cat is cold then the cat is rough. If the cat visits the mouse then the mouse needs the cat.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat sees the mouse.
("cat" "sees" "mouse" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
If someone sees the cat then they are big.
((("someone" "sees" "cat" "+")) -> ("someone" "is" "big" "+"))
If someone needs the cat then they are round.
((("someone" "needs" "cat" "+")) -> ("someone" "is" "round" "+"))
If someone needs the mouse and they are rough then the mouse is cold.
((("someone" "needs" "mouse" "+") ("someone" "is" "rough" "+")) -> ("mouse" "is" "cold" "+"))
If the cow visits the mouse and the cow is cold then the cow visits the cat.
((("cow" "visits" "mouse" "+") ("cow" "is" "cold" "+")) -> ("cow" "visits" "cat" "+"))
If the cat is cold then the cat is rough.
((("cat" "is" "cold" "+")) -> ("cat" "is" "rough" "+"))
If the cat visits the mouse then the mouse needs the cat.
((("cat" "visits" "mouse" "+")) -> ("mouse" "needs" "cat" "+"))
The mouse needs the cat.
True
1
proof
[(triple14 OR ((triple9) -> rule6))]
("mouse" "needs" "cat" "+")
triple14
((triple9) -> (rule6 % int1))
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int1
The cow does not see the cat.
False
1
inv-proof
[(triple11)]
("cow" "sees" "cat" "-")
triple11
The cow is big.
True
2
proof
[(((triple11) -> rule1))]
("cow" "is" "big" "+")
((triple11) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The mouse is not round.
False
2
inv-proof
[(((triple14) -> rule2) OR ((((triple9) -> rule6)) -> rule2))]
("mouse" "is" "round" "-")
((triple14) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int2
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "big" "-")
The bald eagle is big.
Unknown
rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "+")
The cow does not need the mouse.
Unknown
inv-random
[@0: The cow needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "mouse" "-")
The cow sees the bald eagle.
Unknown
random
[@0: The cow sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is rough.[(triple2)] The bald eagle is round.[(triple3 OR ((triple4) -> rule2))] The bald eagle needs the cat.[(triple4)] The bald eagle sees the mouse.[(triple5)] The bald eagle visits the cat.[(triple6)] The cat needs the bald eagle.[(triple7)] The cat sees the mouse.[(triple8)] The cat visits the mouse.[(triple9)] The cow needs the bald eagle.[(triple10)] The cow sees the cat.[(triple11)] The cow sees the mouse.[(triple12)] The cow visits the mouse.[(triple13)] The mouse needs the cat.[(triple14 OR ((triple9) -> rule6))] The mouse needs the cow.[(triple15)] The mouse sees the bald eagle.[(triple16)] @1: The cow is big.[(((triple11) -> rule1))] The mouse is round.[(((triple14) -> rule2) OR ((((triple9) -> rule6)) -> rule2))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple2
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
((triple4) -> (rule2 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple4
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
triple5
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple6
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple7
The cat sees the mouse.
("cat" "sees" "mouse" "+")
triple8
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple9
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple10
The cow sees the cat.
("cow" "sees" "cat" "+")
triple11
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple12
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple13
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple14
((triple9) -> (rule6 % int1))
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int1
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple15
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple16
The cow is big.
("cow" "is" "big" "+")
((triple11) -> (rule1 % int1))
The cow is big.
("cow" "is" "big" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((triple14) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The mouse needs the cat.
("mouse" "needs" "cat" "+")
int2