The bald eagle eats the lion. The bald eagle eats the squirrel. The bald eagle is rough. The bald eagle is young. The bald eagle visits the lion. The cat does not eat the lion. The cat sees the bald eagle. The cat sees the squirrel. The cat does not visit the bald eagle. The lion eats the bald eagle. The lion eats the cat. The lion is cold. The lion is not kind. The lion sees the cat. The squirrel is blue. If the lion eats the squirrel and the lion is kind then the squirrel eats the bald eagle. If someone eats the bald eagle and they are not young then the bald eagle eats the cat. If the cat sees the lion then the lion does not eat the squirrel. If the lion eats the cat then the cat does not visit the squirrel. If someone visits the squirrel then they see the squirrel. If someone visits the cat and they do not see the squirrel then the squirrel sees the bald eagle.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
The cat does not eat the lion.
("cat" "eats" "lion" "-")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is not kind.
("lion" "is" "kind" "-")
The lion sees the cat.
("lion" "sees" "cat" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
If the lion eats the squirrel and the lion is kind then the squirrel eats the bald eagle.
((("lion" "eats" "squirrel" "+") ("lion" "is" "kind" "+")) -> ("squirrel" "eats" "bald eagle" "+"))
If someone eats the bald eagle and they are not young then the bald eagle eats the cat.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "young" "~")) -> ("bald eagle" "eats" "cat" "+"))
If the cat sees the lion then the lion does not eat the squirrel.
((("cat" "sees" "lion" "+")) -> ("lion" "eats" "squirrel" "-"))
If the lion eats the cat then the cat does not visit the squirrel.
((("lion" "eats" "cat" "+")) -> ("cat" "visits" "squirrel" "-"))
If someone visits the squirrel then they see the squirrel.
((("someone" "visits" "squirrel" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone visits the cat and they do not see the squirrel then the squirrel sees the bald eagle.
((("someone" "visits" "cat" "+") ("someone" "sees" "squirrel" "~")) -> ("squirrel" "sees" "bald eagle" "+"))
The lion is not kind.
True
1
proof
[(triple13)]
("lion" "is" "kind" "-")
triple13
The bald eagle does not visit the lion.
False
1
inv-proof
[(triple5)]
("bald eagle" "visits" "lion" "-")
triple5
The cat does not visit the squirrel.
True
2
proof
[(((triple11) -> rule4))]
("cat" "visits" "squirrel" "-")
((triple11) -> (rule4 % int1))
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
int1
The cat visits the squirrel.
False
2
inv-proof
[(((triple11) -> rule4))]
("cat" "visits" "squirrel" "+")
((triple11) -> (rule4 % int1))
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
int1
The squirrel does not see the bald eagle.
Unknown
inv-rconc
[@1: The squirrel sees the bald eagle.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("squirrel" "sees" "bald eagle" "-")
The bald eagle eats the cat.
Unknown
rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
The lion is not rough.
Unknown
inv-random
[@0: The lion is rough.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "rough" "-")
The squirrel visits the lion.
Unknown
random
[@0: The squirrel visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "lion" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle eats the squirrel.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle visits the lion.[(triple5)] The cat does not eat the lion.[(triple6)] The cat does not visit the bald eagle.[(triple9)] The cat sees the bald eagle.[(triple7)] The cat sees the squirrel.[(triple8)] The lion eats the bald eagle.[(triple10)] The lion eats the cat.[(triple11)] The lion is cold.[(triple12)] The lion is not kind.[(triple13)] The lion sees the cat.[(triple14)] The squirrel is blue.[(triple15)] @1: The cat does not visit the squirrel.[(((triple11) -> rule4))]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle visits the lion.
("bald eagle" "visits" "lion" "+")
triple5
The cat does not eat the lion.
("cat" "eats" "lion" "-")
triple6
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
triple9
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cat sees the squirrel.
("cat" "sees" "squirrel" "+")
triple8
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The lion eats the cat.
("lion" "eats" "cat" "+")
triple11
The lion is cold.
("lion" "is" "cold" "+")
triple12
The lion is not kind.
("lion" "is" "kind" "-")
triple13
The lion sees the cat.
("lion" "sees" "cat" "+")
triple14
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple15
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
((triple11) -> (rule4 % int1))
The cat does not visit the squirrel.
("cat" "visits" "squirrel" "-")
int1