The bald eagle does not eat the rabbit. The bald eagle is nice. The bald eagle is young. The bald eagle does not like the rabbit. The bald eagle visits the bear. The bald eagle visits the rabbit. The bear is green. The bear is rough. The bear likes the bald eagle. The bear does not like the rabbit. The bear visits the rabbit. The rabbit eats the bald eagle. The rabbit eats the bear. The rabbit is young. The rabbit likes the bald eagle. The rabbit visits the bear. If someone is green then they are nice. If someone likes the bear then the bear likes the rabbit. If the bald eagle is nice and the bald eagle does not visit the bear then the bear is not young. If someone is nice then they do not eat the bear. If someone visits the bear and the bear eats the bald eagle then they are not rough. If someone visits the bald eagle then the bald eagle eats the bear.
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone is green then they are nice.
((("someone" "is" "green" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the bear then the bear likes the rabbit.
((("someone" "likes" "bear" "+")) -> ("bear" "likes" "rabbit" "+"))
If the bald eagle is nice and the bald eagle does not visit the bear then the bear is not young.
((("bald eagle" "is" "nice" "+") ("bald eagle" "visits" "bear" "~")) -> ("bear" "is" "young" "-"))
If someone is nice then they do not eat the bear.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "bear" "-"))
If someone visits the bear and the bear eats the bald eagle then they are not rough.
((("someone" "visits" "bear" "+") ("bear" "eats" "bald eagle" "+")) -> ("someone" "is" "rough" "-"))
If someone visits the bald eagle then the bald eagle eats the bear.
((("someone" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
The rabbit eats the bald eagle.
True
1
proof
[(triple12)]
("rabbit" "eats" "bald eagle" "+")
triple12
The bear does not visit the rabbit.
False
1
inv-proof
[(triple11)]
("bear" "visits" "rabbit" "-")
triple11
The bear is nice.
True
2
proof
[(((triple7) -> rule1))]
("bear" "is" "nice" "+")
((triple7) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is not nice.
False
2
inv-proof
[(((triple7) -> rule1))]
("bear" "is" "nice" "-")
((triple7) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear does not eat the bear.
True
3
proof
[(((((triple7) -> rule1)) -> rule4))]
("bear" "eats" "bear" "-")
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The bear eats the bear.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule4))]
("bear" "eats" "bear" "+")
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2
The rabbit is not nice.
Unknown
inv-rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "nice" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bear eats the rabbit.
Unknown
random
[@0: The bear eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "rabbit" "+")
The bear does not visit the bear.
Unknown
inv-random
[@0: The bear visits the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "bear" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The bald eagle does not eat the rabbit.[(triple1)] The bald eagle does not like the rabbit.[(triple4)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the bear.[(triple5)] The bald eagle visits the rabbit.[(triple6)] The bear does not like the rabbit.[(triple10)] The bear is green.[(triple7)] The bear is rough.[(triple8)] The bear likes the bald eagle.[(triple9)] The bear visits the rabbit.[(triple11)] The rabbit eats the bald eagle.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit is young.[(triple14)] The rabbit likes the bald eagle.[(triple15)] The rabbit visits the bear.[(triple16)] @1: The bald eagle does not eat the bear.[(((triple2) -> rule4))] The bear is nice.[(((triple7) -> rule1))] @2: The bear does not eat the bear.[(((((triple7) -> rule1)) -> rule4))]
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
triple1
The bald eagle does not like the rabbit.
("bald eagle" "likes" "rabbit" "-")
triple4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple5
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
triple6
The bear does not like the rabbit.
("bear" "likes" "rabbit" "-")
triple10
The bear is green.
("bear" "is" "green" "+")
triple7
The bear is rough.
("bear" "is" "rough" "+")
triple8
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple9
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple11
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple12
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple13
The rabbit is young.
("rabbit" "is" "young" "+")
triple14
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple15
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple16
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
((triple2) -> (rule4 % int1))
The bald eagle does not eat the bear.
("bald eagle" "eats" "bear" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
((triple7) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear does not eat the bear.
("bear" "eats" "bear" "-")
((((triple7) -> (rule1 % int2))) -> (rule4 % int1))
The bear does not eat the bear.
("bear" "eats" "bear" "-")
int1
The bear is nice.
("bear" "is" "nice" "+")
int2