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