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