The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is cold. The bald eagle is nice. The bald eagle sees the lion. The lion chases the bald eagle. The lion eats the bald eagle. The lion is big. The lion is cold. The lion does not see the bald eagle. If someone is red then they see the lion. If the bald eagle sees the lion and the lion eats the bald eagle then the lion chases the bald eagle. If someone is kind then they see the bald eagle. If someone is cold and they do not eat the bald eagle then the bald eagle sees the lion. If the lion does not eat the bald eagle and the bald eagle does not chase the lion then the lion does not see the bald eagle. If someone eats the lion and they chase the bald eagle then the bald eagle eats the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
If someone is red then they see the lion.
((("someone" "is" "red" "+")) -> ("someone" "sees" "lion" "+"))
If the bald eagle sees the lion and the lion eats the bald eagle then the lion chases the bald eagle.
((("bald eagle" "sees" "lion" "+") ("lion" "eats" "bald eagle" "+")) -> ("lion" "chases" "bald eagle" "+"))
If someone is kind then they see the bald eagle.
((("someone" "is" "kind" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone is cold and they do not eat the bald eagle then the bald eagle sees the lion.
((("someone" "is" "cold" "+") ("someone" "eats" "bald eagle" "~")) -> ("bald eagle" "sees" "lion" "+"))
If the lion does not eat the bald eagle and the bald eagle does not chase the lion then the lion does not see the bald eagle.
((("lion" "eats" "bald eagle" "~") ("bald eagle" "chases" "lion" "~")) -> ("lion" "sees" "bald eagle" "-"))
If someone eats the lion and they chase the bald eagle then the bald eagle eats the lion.
((("someone" "eats" "lion" "+") ("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
The bald eagle is cold.
True
1
proof
[(triple3)]
("bald eagle" "is" "cold" "+")
triple3
The bald eagle does not chase the lion.
False
1
inv-proof
[(triple1)]
("bald eagle" "chases" "lion" "-")
triple1
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is nice.[(triple4)] The bald eagle sees the lion.[(triple5)] The lion chases the bald eagle.[(triple6 OR ((triple5 triple7) -> rule2))] The lion does not see the bald eagle.[(triple10)] The lion eats the bald eagle.[(triple7)] The lion is big.[(triple8)] The lion is cold.[(triple9)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple4
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple5
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple6
((triple5 triple7) -> (rule2 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion does not see the bald eagle.
("lion" "sees" "bald eagle" "-")
triple10
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple7
The lion is big.
("lion" "is" "big" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9