The bald eagle does not eat the rabbit. The bald eagle is not big. The bald eagle is not green. The bald eagle is not red. The bald eagle does not like the mouse. The bald eagle likes the rabbit. The bald eagle sees the rabbit. The mouse eats the rabbit. The mouse is big. The mouse is green. The mouse likes the rabbit. The mouse sees the bald eagle. The mouse sees the rabbit. The rabbit eats the bald eagle. The rabbit is rough. If something sees the mouse and it is rough then it is big. If something eats the bald eagle then it likes the mouse. If something is big then it sees the rabbit. If something is red and it eats the rabbit then it sees the rabbit. If something likes the rabbit and the rabbit likes the mouse then the mouse eats the bald eagle. If something likes the mouse then the mouse eats the bald eagle. If the mouse eats the rabbit and the rabbit likes the bald eagle then the rabbit is not red. If something is big and it eats the bald eagle then the bald eagle is rough.
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is not red.
("bald eagle" "is" "red" "-")
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
If something sees the mouse and it is rough then it is big.
((("something" "sees" "mouse" "+") ("something" "is" "rough" "+")) -> ("something" "is" "big" "+"))
If something eats the bald eagle then it likes the mouse.
((("something" "eats" "bald eagle" "+")) -> ("something" "likes" "mouse" "+"))
If something is big then it sees the rabbit.
((("something" "is" "big" "+")) -> ("something" "sees" "rabbit" "+"))
If something is red and it eats the rabbit then it sees the rabbit.
((("something" "is" "red" "+") ("something" "eats" "rabbit" "+")) -> ("something" "sees" "rabbit" "+"))
If something likes the rabbit and the rabbit likes the mouse then the mouse eats the bald eagle.
((("something" "likes" "rabbit" "+") ("rabbit" "likes" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If something likes the mouse then the mouse eats the bald eagle.
((("something" "likes" "mouse" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If the mouse eats the rabbit and the rabbit likes the bald eagle then the rabbit is not red.
((("mouse" "eats" "rabbit" "+") ("rabbit" "likes" "bald eagle" "+")) -> ("rabbit" "is" "red" "-"))
If something is big and it eats the bald eagle then the bald eagle is rough.
((("something" "is" "big" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple12)]
("mouse" "sees" "bald eagle" "+")
triple12
The bald eagle is green.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "green" "+")
triple3
The rabbit likes the mouse.
True
2
proof
[(((triple14) -> rule2))]
("rabbit" "likes" "mouse" "+")
((triple14) -> (rule2 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The rabbit does not like the mouse.
False
2
inv-proof
[(((triple14) -> rule2))]
("rabbit" "likes" "mouse" "-")
((triple14) -> (rule2 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The mouse eats the bald eagle.
True
3
proof
[(((((triple14) -> rule2)) -> rule6) OR ((triple11 ((triple14) -> rule2)) -> rule5) OR ((triple6 ((triple14) -> rule2)) -> rule5))]
("mouse" "eats" "bald eagle" "+")
((((triple14) -> (rule2 % int2))) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
((triple11 ((triple14) -> (rule2 % int2))) -> (rule5 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
((triple6 ((triple14) -> (rule2 % int2))) -> (rule5 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
The mouse does not eat the bald eagle.
False
3
inv-proof
[(((((triple14) -> rule2)) -> rule6) OR ((triple11 ((triple14) -> rule2)) -> rule5) OR ((triple6 ((triple14) -> rule2)) -> rule5))]
("mouse" "eats" "bald eagle" "-")
((((triple14) -> (rule2 % int2))) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
((triple11 ((triple14) -> (rule2 % int2))) -> (rule5 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
((triple6 ((triple14) -> (rule2 % int2))) -> (rule5 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
The mouse likes the mouse.
True
4
proof
[(((((((triple14) -> rule2)) -> rule6)) -> rule2) OR ((((triple11 ((triple14) -> rule2)) -> rule5)) -> rule2) OR ((((triple6 ((triple14) -> rule2)) -> rule5)) -> rule2))]
("mouse" "likes" "mouse" "+")
((((((triple14) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((((triple11 ((triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((((triple6 ((triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
The bald eagle is not rough.
False
5
inv-proof
[(((triple9 ((((triple14) -> rule2)) -> rule6)) -> rule8) OR ((triple9 ((triple11 ((triple14) -> rule2)) -> rule5)) -> rule8) OR ((triple9 ((triple6 ((triple14) -> rule2)) -> rule5)) -> rule8))]
("bald eagle" "is" "rough" "-")
((triple9 ((((triple14) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((triple9 ((triple11 ((triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((triple9 ((triple6 ((triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "big" "-")
The rabbit sees the rabbit.
Unknown
rconc
[@2: The rabbit sees the rabbit.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("rabbit" "sees" "rabbit" "+")
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
The rabbit is not nice.
Unknown
inv-random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "-")
The rabbit sees the mouse.
Unknown
random
[@0: The rabbit sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "mouse" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
@0: The bald eagle does not eat the rabbit.[(triple1)] The bald eagle does not like the mouse.[(triple5)] The bald eagle is not big.[(triple2)] The bald eagle is not green.[(triple3)] The bald eagle is not red.[(triple4)] The bald eagle likes the rabbit.[(triple6)] The bald eagle sees the rabbit.[(triple7)] The mouse eats the rabbit.[(triple8)] The mouse is big.[(triple9)] The mouse is green.[(triple10)] The mouse likes the rabbit.[(triple11)] The mouse sees the bald eagle.[(triple12)] The mouse sees the rabbit.[(triple13 OR ((triple9) -> rule3))] The rabbit eats the bald eagle.[(triple14)] The rabbit is rough.[(triple15)] @1: The rabbit likes the mouse.[(((triple14) -> rule2))] @2: The mouse eats the bald eagle.[(((((triple14) -> rule2)) -> rule6) OR ((triple11 ((triple14) -> rule2)) -> rule5) OR ((triple6 ((triple14) -> rule2)) -> rule5))] @3: The bald eagle is rough.[(((triple9 ((((triple14) -> rule2)) -> rule6)) -> rule8) OR ((triple9 ((triple11 ((triple14) -> rule2)) -> rule5)) -> rule8) OR ((triple9 ((triple6 ((triple14) -> rule2)) -> rule5)) -> rule8))] The mouse likes the mouse.[(((((((triple14) -> rule2)) -> rule6)) -> rule2) OR ((((triple11 ((triple14) -> rule2)) -> rule5)) -> rule2) OR ((((triple6 ((triple14) -> rule2)) -> rule5)) -> rule2))]
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
triple1
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple5
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple2
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple3
The bald eagle is not red.
("bald eagle" "is" "red" "-")
triple4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple7
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is green.
("mouse" "is" "green" "+")
triple10
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple11
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple12
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple13
((triple9) -> (rule3 % int1))
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple14
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple15
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
((triple14) -> (rule2 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
((((triple14) -> (rule2 % int2))) -> (rule6 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
((triple11 ((triple14) -> (rule2 % int2))) -> (rule5 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
((triple6 ((triple14) -> (rule2 % int2))) -> (rule5 % int1))
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple9 ((((triple14) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((triple9 ((triple11 ((triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((triple9 ((triple6 ((triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule8 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((((((triple14) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((((triple11 ((triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((((triple6 ((triple14) -> (rule2 % int3))) -> (rule5 % int2))) -> (rule2 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3