The bald eagle is rough. The bald eagle likes the bear. The bald eagle likes the rabbit. The bald eagle needs the bear. The bald eagle needs the rabbit. The bear chases the bald eagle. The bear likes the bald eagle. The bear needs the rabbit. The rabbit is rough. The rabbit does not like the bald eagle. If someone is red and rough then they are big. If someone needs the rabbit and they need the bear then the rabbit likes the bear. If someone chases the bear then they like the rabbit. If someone chases the bald eagle and they do not chase the bear then they do not need the bear. If someone is nice and kind then they like the bald eagle. If someone chases the bear then the bear is red. If someone needs the bald eagle then the bald eagle is not red. If the rabbit likes the bear then the bear needs the bald eagle.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
If someone is red and rough then they are big.
((("someone" "is" "red" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone needs the rabbit and they need the bear then the rabbit likes the bear.
((("someone" "needs" "rabbit" "+") ("someone" "needs" "bear" "+")) -> ("rabbit" "likes" "bear" "+"))
If someone chases the bear then they like the rabbit.
((("someone" "chases" "bear" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone chases the bald eagle and they do not chase the bear then they do not need the bear.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "bear" "~")) -> ("someone" "needs" "bear" "-"))
If someone is nice and kind then they like the bald eagle.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "likes" "bald eagle" "+"))
If someone chases the bear then the bear is red.
((("someone" "chases" "bear" "+")) -> ("bear" "is" "red" "+"))
If someone needs the bald eagle then the bald eagle is not red.
((("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "red" "-"))
If the rabbit likes the bear then the bear needs the bald eagle.
((("rabbit" "likes" "bear" "+")) -> ("bear" "needs" "bald eagle" "+"))
The bald eagle needs the rabbit.
True
1
proof
[(triple5)]
("bald eagle" "needs" "rabbit" "+")
triple5
The bald eagle does not need the bear.
False
1
inv-proof
[(triple4)]
("bald eagle" "needs" "bear" "-")
triple4
The rabbit likes the bear.
True
3
proof
[(((triple5 triple4) -> rule2))]
("rabbit" "likes" "bear" "+")
((triple5 triple4) -> (rule2 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The rabbit does not like the bear.
False
3
inv-proof
[(((triple5 triple4) -> rule2))]
("rabbit" "likes" "bear" "-")
((triple5 triple4) -> (rule2 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The bear needs the bald eagle.
True
4
proof
[(((((triple5 triple4) -> rule2)) -> rule8))]
("bear" "needs" "bald eagle" "+")
((((triple5 triple4) -> (rule2 % int2))) -> (rule8 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The bear does not need the bald eagle.
False
4
inv-proof
[(((((triple5 triple4) -> rule2)) -> rule8))]
("bear" "needs" "bald eagle" "-")
((((triple5 triple4) -> (rule2 % int2))) -> (rule8 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The bald eagle is not big.
Unknown
inv-rconc
[@1: The bald eagle is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "big" "-")
The bear is red.
Unknown
rconc
[@1: The bear is red.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "red" "+")
The bear is not big.
Unknown
inv-rconc
[@1: The bear is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "big" "-")
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 chase the bear.
Unknown
inv-random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "-")
The rabbit needs the bald eagle.
Unknown
random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "+")
@0: The bald eagle is rough.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle likes the rabbit.[(triple3)] The bald eagle needs the bear.[(triple4)] The bald eagle needs the rabbit.[(triple5)] The bear chases the bald eagle.[(triple6)] The bear likes the bald eagle.[(triple7)] The bear needs the rabbit.[(triple8)] The rabbit does not like the bald eagle.[(triple10)] The rabbit is rough.[(triple9)] @1: The rabbit likes the bear.[(((triple5 triple4) -> rule2))] @2: The bear needs the bald eagle.[(((((triple5 triple4) -> rule2)) -> rule8))] @3: The bald eagle is not red.[(((((((triple5 triple4) -> rule2)) -> rule8)) -> rule7))]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple4
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple5
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple6
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple7
The bear needs the rabbit.
("bear" "needs" "rabbit" "+")
triple8
The rabbit does not like the bald eagle.
("rabbit" "likes" "bald eagle" "-")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
((triple5 triple4) -> (rule2 % int1))
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
((((triple5 triple4) -> (rule2 % int2))) -> (rule8 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int2
The bald eagle is not red.
("bald eagle" "is" "red" "-")
((((((triple5 triple4) -> (rule2 % int3))) -> (rule8 % int2))) -> (rule7 % int1))
The bald eagle is not red.
("bald eagle" "is" "red" "-")
int1
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int2
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
int3