The bald eagle is not kind. The bald eagle is nice. The bald eagle is not round. The bald eagle sees the cat. The bald eagle sees the lion. The bear needs the lion. The cat is young. The cat needs the bear. The lion needs the cat. The lion sees the bear. If something is nice then it does not like the lion. If the lion likes the cat then the cat is not young. If something is round then it sees the bear. If the bald eagle sees the lion then the lion is kind. If the bald eagle needs the lion and the lion does not see the bear then the bald eagle is cold. If something is cold and it needs the bald eagle then it needs the lion.
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is not round.
("bald eagle" "is" "round" "-")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The bear needs the lion.
("bear" "needs" "lion" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
If something is nice then it does not like the lion.
((("something" "is" "nice" "+")) -> ("something" "likes" "lion" "-"))
If the lion likes the cat then the cat is not young.
((("lion" "likes" "cat" "+")) -> ("cat" "is" "young" "-"))
If something is round then it sees the bear.
((("something" "is" "round" "+")) -> ("something" "sees" "bear" "+"))
If the bald eagle sees the lion then the lion is kind.
((("bald eagle" "sees" "lion" "+")) -> ("lion" "is" "kind" "+"))
If the bald eagle needs the lion and the lion does not see the bear then the bald eagle is cold.
((("bald eagle" "needs" "lion" "+") ("lion" "sees" "bear" "~")) -> ("bald eagle" "is" "cold" "+"))
If something is cold and it needs the bald eagle then it needs the lion.
((("something" "is" "cold" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "needs" "lion" "+"))
The bald eagle sees the cat.
True
1
proof
[(triple4)]
("bald eagle" "sees" "cat" "+")
triple4
The bald eagle is not nice.
False
1
inv-proof
[(triple2)]
("bald eagle" "is" "nice" "-")
triple2
The bald eagle does not like the lion.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "likes" "lion" "-")
((triple2) -> (rule1 % int1))
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
int1
The lion is not kind.
False
2
inv-proof
[(((triple5) -> rule4))]
("lion" "is" "kind" "-")
((triple5) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The cat does not need the lion.
Unknown
inv-rconc
[@1: The cat needs the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "needs" "lion" "-")
The bald eagle sees the bear.
Unknown
rconc
[@1: The bald eagle sees the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "bear" "+")
The bear does not like the bald eagle.
Unknown
inv-random
[@0: The bear likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is nice.[(triple2)] The bald eagle is not kind.[(triple1)] The bald eagle is not round.[(triple3)] The bald eagle sees the cat.[(triple4)] The bald eagle sees the lion.[(triple5)] The bear needs the lion.[(triple6)] The cat is young.[(triple7)] The cat needs the bear.[(triple8)] The lion needs the cat.[(triple9)] The lion sees the bear.[(triple10)] @1: The bald eagle does not like the lion.[(((triple2) -> rule1))] The lion is kind.[(((triple5) -> rule4))]
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
triple1
The bald eagle is not round.
("bald eagle" "is" "round" "-")
triple3
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The bear needs the lion.
("bear" "needs" "lion" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat needs the bear.
("cat" "needs" "bear" "+")
triple8
The lion needs the cat.
("lion" "needs" "cat" "+")
triple9
The lion sees the bear.
("lion" "sees" "bear" "+")
triple10
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
((triple2) -> (rule1 % int1))
The bald eagle does not like the lion.
("bald eagle" "likes" "lion" "-")
int1
The lion is kind.
("lion" "is" "kind" "+")
((triple5) -> (rule4 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1