The bald eagle eats the bear. The bald eagle is big. The bald eagle is not nice. The bald eagle visits the bear. The bald eagle does not visit the lion. The bear chases the bald eagle. The bear chases the cat. The bear eats the bald eagle. The bear is big. The bear is not kind. The bear visits the lion. The cat eats the bear. The cat is big. The cat is kind. The lion visits the bald eagle. The lion visits the cat. If the lion eats the cat then the cat chases the bear. If something is big and it visits the lion then the lion is green. If the lion is cold then the lion eats the bear. If the cat is not green then the cat eats the bald eagle. If the cat chases the bald eagle then the cat visits the lion. If the lion does not visit the bald eagle then the lion does not chase the bear. If something chases the lion then it is not nice. If the bear eats the bald eagle and the bear chases the cat then the bald eagle does not chase the lion.
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is not kind.
("bear" "is" "kind" "-")
The bear visits the lion.
("bear" "visits" "lion" "+")
The cat eats the bear.
("cat" "eats" "bear" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is kind.
("cat" "is" "kind" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
If the lion eats the cat then the cat chases the bear.
((("lion" "eats" "cat" "+")) -> ("cat" "chases" "bear" "+"))
If something is big and it visits the lion then the lion is green.
((("something" "is" "big" "+") ("something" "visits" "lion" "+")) -> ("lion" "is" "green" "+"))
If the lion is cold then the lion eats the bear.
((("lion" "is" "cold" "+")) -> ("lion" "eats" "bear" "+"))
If the cat is not green then the cat eats the bald eagle.
((("cat" "is" "green" "~")) -> ("cat" "eats" "bald eagle" "+"))
If the cat chases the bald eagle then the cat visits the lion.
((("cat" "chases" "bald eagle" "+")) -> ("cat" "visits" "lion" "+"))
If the lion does not visit the bald eagle then the lion does not chase the bear.
((("lion" "visits" "bald eagle" "~")) -> ("lion" "chases" "bear" "-"))
If something chases the lion then it is not nice.
((("something" "chases" "lion" "+")) -> ("something" "is" "nice" "-"))
If the bear eats the bald eagle and the bear chases the cat then the bald eagle does not chase the lion.
((("bear" "eats" "bald eagle" "+") ("bear" "chases" "cat" "+")) -> ("bald eagle" "chases" "lion" "-"))
The bald eagle visits the bear.
True
1
proof
[(triple4)]
("bald eagle" "visits" "bear" "+")
triple4
The bear does not chase the bald eagle.
False
1
inv-proof
[(triple6)]
("bear" "chases" "bald eagle" "-")
triple6
The lion is green.
True
3
proof
[(((triple9 triple11) -> rule2))]
("lion" "is" "green" "+")
((triple9 triple11) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion is not green.
False
3
inv-proof
[(((triple9 triple11) -> rule2))]
("lion" "is" "green" "-")
((triple9 triple11) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1
The lion does not eat the bear.
Unknown
inv-rconc
[@1: The lion eats the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "bear" "-")
The cat eats the bald eagle.
Unknown
rconc
[@1: The cat eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "eats" "bald eagle" "+")
The lion does not chase the bald eagle.
Unknown
inv-random
[@0: The lion chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "bald eagle" "-")
The bear chases the lion.
Unknown
random
[@0: The bear chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "lion" "+")
@0: The bald eagle does not visit the lion.[(triple5)] The bald eagle eats the bear.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is not nice.[(triple3)] The bald eagle visits the bear.[(triple4)] The bear chases the bald eagle.[(triple6)] The bear chases the cat.[(triple7)] The bear eats the bald eagle.[(triple8)] The bear is big.[(triple9)] The bear is not kind.[(triple10)] The bear visits the lion.[(triple11)] The cat eats the bear.[(triple12)] The cat is big.[(triple13)] The cat is kind.[(triple14)] The lion visits the bald eagle.[(triple15)] The lion visits the cat.[(triple16)] @1: The bald eagle does not chase the lion.[(((triple8 triple7) -> rule8))] The lion is green.[(((triple9 triple11) -> rule2))]
The bald eagle does not visit the lion.
("bald eagle" "visits" "lion" "-")
triple5
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple3
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple4
The bear chases the bald eagle.
("bear" "chases" "bald eagle" "+")
triple6
The bear chases the cat.
("bear" "chases" "cat" "+")
triple7
The bear eats the bald eagle.
("bear" "eats" "bald eagle" "+")
triple8
The bear is big.
("bear" "is" "big" "+")
triple9
The bear is not kind.
("bear" "is" "kind" "-")
triple10
The bear visits the lion.
("bear" "visits" "lion" "+")
triple11
The cat eats the bear.
("cat" "eats" "bear" "+")
triple12
The cat is big.
("cat" "is" "big" "+")
triple13
The cat is kind.
("cat" "is" "kind" "+")
triple14
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15
The lion visits the cat.
("lion" "visits" "cat" "+")
triple16
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
((triple8 triple7) -> (rule8 % int1))
The bald eagle does not chase the lion.
("bald eagle" "chases" "lion" "-")
int1
The lion is green.
("lion" "is" "green" "+")
((triple9 triple11) -> (rule2 % int1))
The lion is green.
("lion" "is" "green" "+")
int1