The bald eagle is not cold. The bald eagle likes the rabbit. The bald eagle does not need the lion. The lion is nice. The lion is red. The lion needs the rabbit. The lion visits the bald eagle. The lion does not visit the rabbit. The rabbit is not cold. The rabbit visits the bald eagle. If someone visits the bald eagle and they do not like the lion then the lion visits the rabbit. If the rabbit visits the bald eagle then the bald eagle does not visit the rabbit. If someone likes the rabbit and they do not visit the rabbit then they need the bald eagle.
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
The rabbit is not cold.
("rabbit" "is" "cold" "-")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If someone visits the bald eagle and they do not like the lion then the lion visits the rabbit.
((("someone" "visits" "bald eagle" "+") ("someone" "likes" "lion" "~")) -> ("lion" "visits" "rabbit" "+"))
If the rabbit visits the bald eagle then the bald eagle does not visit the rabbit.
((("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "rabbit" "-"))
If someone likes the rabbit and they do not visit the rabbit then they need the bald eagle.
((("someone" "likes" "rabbit" "+") ("someone" "visits" "rabbit" "~")) -> ("someone" "needs" "bald eagle" "+"))
The bald eagle does not need the lion.
True
1
proof
[(triple3)]
("bald eagle" "needs" "lion" "-")
triple3
The lion visits the rabbit.
False
1
inv-proof
[(triple8)]
("lion" "visits" "rabbit" "+")
triple8
The bald eagle does not visit the rabbit.
True
2
proof
[(((triple10) -> rule2))]
("bald eagle" "visits" "rabbit" "-")
((triple10) -> (rule2 % int1))
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
int1
The bald eagle visits the rabbit.
False
2
inv-proof
[(((triple10) -> rule2))]
("bald eagle" "visits" "rabbit" "+")
((triple10) -> (rule2 % int1))
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
int1
The bald eagle needs the bald eagle.
True
4
proof
[(((triple2 ((triple10) -> rule2)) -> rule3))]
("bald eagle" "needs" "bald eagle" "+")
((triple2 ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
int2
The bald eagle does not need the bald eagle.
False
4
inv-proof
[(((triple2 ((triple10) -> rule2)) -> rule3))]
("bald eagle" "needs" "bald eagle" "-")
((triple2 ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
int2
The rabbit does not need the bald eagle.
Unknown
inv-rconc
[@1: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The lion needs the bald eagle.
Unknown
rconc
[@1: The lion needs the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "needs" "bald eagle" "+")
The lion does not like the lion.
Unknown
inv-random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
The rabbit does not like the bald eagle.
Unknown
inv-random
[@0: The rabbit likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "bald eagle" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The bald eagle does not need the lion.[(triple3)] The bald eagle is not cold.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The lion does not visit the rabbit.[(triple8)] The lion is nice.[(triple4)] The lion is red.[(triple5)] The lion needs the rabbit.[(triple6)] The lion visits the bald eagle.[(triple7)] The rabbit is not cold.[(triple9)] The rabbit visits the bald eagle.[(triple10)] @1: The bald eagle does not visit the rabbit.[(((triple10) -> rule2))] @2: The bald eagle needs the bald eagle.[(((triple2 ((triple10) -> rule2)) -> rule3))]
The bald eagle does not need the lion.
("bald eagle" "needs" "lion" "-")
triple3
The bald eagle is not cold.
("bald eagle" "is" "cold" "-")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple4
The lion is red.
("lion" "is" "red" "+")
triple5
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple6
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple7
The rabbit is not cold.
("rabbit" "is" "cold" "-")
triple9
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple10
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
((triple10) -> (rule2 % int1))
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
int1
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((triple2 ((triple10) -> (rule2 % int2))) -> (rule3 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle does not visit the rabbit.
("bald eagle" "visits" "rabbit" "-")
int2