The bald eagle eats the dog. The bald eagle is blue. The bald eagle is red. The bald eagle needs the dog. The bald eagle visits the dog. The dog eats the bald eagle. The dog needs the bald eagle. The dog visits the bald eagle. The lion eats the bald eagle. The lion is blue. The lion is cold. The lion is red. The lion is rough. The lion is young. The lion visits the bald eagle. If something eats the bald eagle then the bald eagle eats the lion.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
If something eats the bald eagle then the bald eagle eats the lion.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "lion" "+"))
The lion is cold.
True
1
proof
[(triple11)]
("lion" "is" "cold" "+")
triple11
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple8)]
("dog" "visits" "bald eagle" "-")
triple8
The lion does not eat the dog.
Unknown
inv-random
[@0: The lion eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "dog" "-")
The bald eagle needs the lion.
Unknown
random
[@0: The bald eagle needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "lion" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle is blue.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle visits the dog.[(triple5)] The dog eats the bald eagle.[(triple6)] The dog needs the bald eagle.[(triple7)] The dog visits the bald eagle.[(triple8)] The lion eats the bald eagle.[(triple9)] The lion is blue.[(triple10)] The lion is cold.[(triple11)] The lion is red.[(triple12)] The lion is rough.[(triple13)] The lion is young.[(triple14)] The lion visits the bald eagle.[(triple15)] @1: The bald eagle eats the lion.[(((triple6) -> rule1) OR ((triple9) -> rule1))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple5
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple6
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple7
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple8
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion is red.
("lion" "is" "red" "+")
triple12
The lion is rough.
("lion" "is" "rough" "+")
triple13
The lion is young.
("lion" "is" "young" "+")
triple14
The lion visits the bald eagle.
("lion" "visits" "bald eagle" "+")
triple15
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
((triple6) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1
((triple9) -> (rule1 % int1))
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
int1