The bald eagle is not green. The bald eagle is nice. The bald eagle likes the lion. The bald eagle sees the rabbit. The lion eats the bald eagle. The lion eats the rabbit. The lion is green. The lion is nice. The lion sees the squirrel. The rabbit eats the squirrel. The rabbit does not like the bald eagle. The squirrel eats the bald eagle. The squirrel likes the rabbit. The squirrel sees the bald eagle. The squirrel sees the lion. If someone eats the bald eagle and they are not green then the bald eagle eats the squirrel. Nice people are not young. If someone eats the rabbit and the rabbit is not young then the rabbit likes the bald eagle. If someone likes the squirrel then they are big. If someone is green and not kind then they like the squirrel. If someone likes the lion and they are not young then they like the squirrel.
The bald eagle is not green.
("bald eagle" "is" "green" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
If someone eats the bald eagle and they are not green then the bald eagle eats the squirrel.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "green" "~")) -> ("bald eagle" "eats" "squirrel" "+"))
Nice people are not young.
((("someone" "is" "nice" "+")) -> ("someone" "is" "young" "-"))
If someone eats the rabbit and the rabbit is not young then the rabbit likes the bald eagle.
((("someone" "eats" "rabbit" "+") ("rabbit" "is" "young" "~")) -> ("rabbit" "likes" "bald eagle" "+"))
If someone likes the squirrel then they are big.
((("someone" "likes" "squirrel" "+")) -> ("someone" "is" "big" "+"))
If someone is green and not kind then they like the squirrel.
((("someone" "is" "green" "+") ("someone" "is" "kind" "~")) -> ("someone" "likes" "squirrel" "+"))
If someone likes the lion and they are not young then they like the squirrel.
((("someone" "likes" "lion" "+") ("someone" "is" "young" "~")) -> ("someone" "likes" "squirrel" "+"))
The lion eats the rabbit.
True
1
proof
[(triple6)]
("lion" "eats" "rabbit" "+")
triple6
The bald eagle is not nice.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "nice" "-")
triple2
The bald eagle is not young.
True
2
proof
[(((triple2) -> rule2))]
("bald eagle" "is" "young" "-")
((triple2) -> (rule2 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle is young.
False
2
inv-proof
[(((triple2) -> rule2))]
("bald eagle" "is" "young" "+")
((triple2) -> (rule2 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle likes the squirrel.
True
4
proof
[(((triple3 ((triple2) -> rule2)) -> rule6))]
("bald eagle" "likes" "squirrel" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int2
The bald eagle does not like the squirrel.
False
4
inv-proof
[(((triple3 ((triple2) -> rule2)) -> rule6))]
("bald eagle" "likes" "squirrel" "-")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int2
The bald eagle is big.
True
5
proof
[(((((triple3 ((triple2) -> rule2)) -> rule6)) -> rule4))]
("bald eagle" "is" "big" "+")
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int3
The bald eagle is not big.
False
5
inv-proof
[(((((triple3 ((triple2) -> rule2)) -> rule6)) -> rule4))]
("bald eagle" "is" "big" "-")
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int3
The squirrel does not like the squirrel.
Unknown
inv-rconc
[@1: The squirrel likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "likes" "squirrel" "-")
The bald eagle eats the squirrel.
Unknown
rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "squirrel" "+")
The lion is not big.
Unknown
inv-rconc
[@2: The lion is big.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("lion" "is" "big" "-")
The lion likes the squirrel.
Unknown
rconc
[@1: The lion likes the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "likes" "squirrel" "+")
The bald eagle does not eat the lion.
Unknown
inv-random
[@0: The bald eagle eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "lion" "-")
The squirrel eats the rabbit.
Unknown
random
[@0: The squirrel eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "rabbit" "+")
The squirrel does not eat the squirrel.
Unknown
inv-random
[@0: The squirrel eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "squirrel" "-")
The squirrel likes the lion.
Unknown
random
[@0: The squirrel likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "lion" "+")
@0: The bald eagle is nice.[(triple2)] The bald eagle is not green.[(triple1)] The bald eagle likes the lion.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The lion eats the bald eagle.[(triple5)] The lion eats the rabbit.[(triple6)] The lion is green.[(triple7)] The lion is nice.[(triple8)] The lion sees the squirrel.[(triple9)] The rabbit does not like the bald eagle.[(triple11)] The rabbit eats the squirrel.[(triple10)] The squirrel eats the bald eagle.[(triple12)] The squirrel likes the rabbit.[(triple13)] The squirrel sees the bald eagle.[(triple14)] The squirrel sees the lion.[(triple15)] @1: The bald eagle is not young.[(((triple2) -> rule2))] The lion is not young.[(((triple8) -> rule2))] @2: The bald eagle likes the squirrel.[(((triple3 ((triple2) -> rule2)) -> rule6))] @3: The bald eagle is big.[(((((triple3 ((triple2) -> rule2)) -> rule6)) -> rule4))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is not green.
("bald eagle" "is" "green" "-")
triple1
The bald eagle likes the lion.
("bald eagle" "likes" "lion" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple5
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The lion is nice.
("lion" "is" "nice" "+")
triple8
The lion sees the squirrel.
("lion" "sees" "squirrel" "+")
triple9
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple11
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple10
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple12
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple13
The squirrel sees the bald eagle.
("squirrel" "sees" "bald eagle" "+")
triple14
The squirrel sees the lion.
("squirrel" "sees" "lion" "+")
triple15
The bald eagle is not young.
("bald eagle" "is" "young" "-")
((triple2) -> (rule2 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The lion is not young.
("lion" "is" "young" "-")
((triple8) -> (rule2 % int1))
The lion is not young.
("lion" "is" "young" "-")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
((triple3 ((triple2) -> (rule2 % int2))) -> (rule6 % int1))
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int1
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple3 ((triple2) -> (rule2 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
int2
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int3