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