The bald eagle likes the squirrel. The bald eagle needs the squirrel. The bear chases the squirrel. The bear needs the bald eagle. The rabbit chases the bald eagle. The rabbit chases the bear. The rabbit is big. The rabbit is rough. The rabbit likes the bald eagle. The rabbit likes the bear. The rabbit needs the bear. The squirrel is big. If someone chases the bald eagle then they need the bald eagle. If the squirrel needs the bear then the bear chases the rabbit. If someone is rough and they chase the bald eagle then they need the rabbit. If someone chases the squirrel then the squirrel chases the bald eagle. If someone chases the squirrel and the squirrel chases the rabbit then the squirrel is red. If someone chases the bald eagle and the bald eagle needs the bear then they like the bald eagle.
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
If someone chases the bald eagle then they need the bald eagle.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "needs" "bald eagle" "+"))
If the squirrel needs the bear then the bear chases the rabbit.
((("squirrel" "needs" "bear" "+")) -> ("bear" "chases" "rabbit" "+"))
If someone is rough and they chase the bald eagle then they need the rabbit.
((("someone" "is" "rough" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone chases the squirrel then the squirrel chases the bald eagle.
((("someone" "chases" "squirrel" "+")) -> ("squirrel" "chases" "bald eagle" "+"))
If someone chases the squirrel and the squirrel chases the rabbit then the squirrel is red.
((("someone" "chases" "squirrel" "+") ("squirrel" "chases" "rabbit" "+")) -> ("squirrel" "is" "red" "+"))
If someone chases the bald eagle and the bald eagle needs the bear then they like the bald eagle.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "needs" "bear" "+")) -> ("someone" "likes" "bald eagle" "+"))
The rabbit is rough.
True
1
proof
[(triple8)]
("rabbit" "is" "rough" "+")
triple8
The bear does not chase the squirrel.
False
1
inv-proof
[(triple3)]
("bear" "chases" "squirrel" "-")
triple3
The rabbit needs the bald eagle.
True
2
proof
[(((triple5) -> rule1))]
("rabbit" "needs" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The squirrel does not chase the bald eagle.
False
2
inv-proof
[(((triple3) -> rule4))]
("squirrel" "chases" "bald eagle" "-")
((triple3) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
True
3
proof
[(((((triple3) -> rule4)) -> rule1))]
("squirrel" "needs" "bald eagle" "+")
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The squirrel does not need the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule4)) -> rule1))]
("squirrel" "needs" "bald eagle" "-")
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2
The bald eagle does not need the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bear needs the rabbit.
Unknown
rconc
[@1: The bear needs the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "needs" "rabbit" "+")
The squirrel does not need the rabbit.
Unknown
inv-rconc
[@1: The squirrel needs the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "needs" "rabbit" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The bald eagle likes the squirrel.[(triple1)] The bald eagle needs the squirrel.[(triple2)] The bear chases the squirrel.[(triple3)] The bear needs the bald eagle.[(triple4)] The rabbit chases the bald eagle.[(triple5)] The rabbit chases the bear.[(triple6)] The rabbit is big.[(triple7)] The rabbit is rough.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The rabbit likes the bear.[(triple10)] The rabbit needs the bear.[(triple11)] The squirrel is big.[(triple12)] @1: The rabbit needs the bald eagle.[(((triple5) -> rule1))] The rabbit needs the rabbit.[(((triple8 triple5) -> rule3))] The squirrel chases the bald eagle.[(((triple3) -> rule4))] @2: The squirrel needs the bald eagle.[(((((triple3) -> rule4)) -> rule1))]
The bald eagle likes the squirrel.
("bald eagle" "likes" "squirrel" "+")
triple1
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple2
The bear chases the squirrel.
("bear" "chases" "squirrel" "+")
triple3
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple4
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple5
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple6
The rabbit is big.
("rabbit" "is" "big" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple9
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple10
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple11
The squirrel is big.
("squirrel" "is" "big" "+")
triple12
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
((triple5) -> (rule1 % int1))
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple8 triple5) -> (rule3 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
((triple3) -> (rule4 % int1))
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int1
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
((((triple3) -> (rule4 % int2))) -> (rule1 % int1))
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
int1
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
int2