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