The bald eagle chases the cat. The bald eagle chases the lion. The bald eagle eats the squirrel. The bald eagle needs the lion. The bald eagle needs the squirrel. The cat chases the bald eagle. The cat eats the squirrel. The cat needs the bald eagle. The cat needs the lion. The lion does not eat the cat. The lion eats the squirrel. The lion is rough. The lion is round. The squirrel chases the bald eagle. The squirrel chases the lion. The squirrel is not kind. If the bald eagle chases the cat then the cat chases the bald eagle. If someone eats the bald eagle and they do not chase the squirrel then they do not need the lion.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The lion does not eat the cat.
("lion" "eats" "cat" "-")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
If the bald eagle chases the cat then the cat chases the bald eagle.
((("bald eagle" "chases" "cat" "+")) -> ("cat" "chases" "bald eagle" "+"))
If someone eats the bald eagle and they do not chase the squirrel then they do not need the lion.
((("someone" "eats" "bald eagle" "+") ("someone" "chases" "squirrel" "~")) -> ("someone" "needs" "lion" "-"))
The cat chases the bald eagle.
True
1
proof
[(triple6 OR ((triple1) -> rule1))]
("cat" "chases" "bald eagle" "+")
triple6
((triple1) -> (rule1 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat does not eat the squirrel.
False
1
inv-proof
[(triple7)]
("cat" "eats" "squirrel" "-")
triple7
The bald eagle does not eat the cat.
Unknown
inv-random
[@0: The bald eagle eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "cat" "-")
The squirrel eats the cat.
Unknown
random
[@0: The squirrel eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle eats the squirrel.[(triple3)] The bald eagle needs the lion.[(triple4)] The bald eagle needs the squirrel.[(triple5)] The cat chases the bald eagle.[(triple6 OR ((triple1) -> rule1))] The cat eats the squirrel.[(triple7)] The cat needs the bald eagle.[(triple8)] The cat needs the lion.[(triple9)] The lion does not eat the cat.[(triple10)] The lion eats the squirrel.[(triple11)] The lion is rough.[(triple12)] The lion is round.[(triple13)] The squirrel chases the bald eagle.[(triple14)] The squirrel chases the lion.[(triple15)] The squirrel is not kind.[(triple16)]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
The bald eagle eats the squirrel.
("bald eagle" "eats" "squirrel" "+")
triple3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple4
The bald eagle needs the squirrel.
("bald eagle" "needs" "squirrel" "+")
triple5
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple6
((triple1) -> (rule1 % int1))
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
int1
The cat eats the squirrel.
("cat" "eats" "squirrel" "+")
triple7
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple8
The cat needs the lion.
("cat" "needs" "lion" "+")
triple9
The lion does not eat the cat.
("lion" "eats" "cat" "-")
triple10
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple11
The lion is rough.
("lion" "is" "rough" "+")
triple12
The lion is round.
("lion" "is" "round" "+")
triple13
The squirrel chases the bald eagle.
("squirrel" "chases" "bald eagle" "+")
triple14
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
triple15
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple16