The bald eagle eats the dog. The bald eagle is red. The bald eagle is young. The bald eagle does not see the dog. The bald eagle visits the cat. The cat eats the dog. The cat sees the bald eagle. The cat does not visit the bald eagle. The dog eats the cat. The dog is blue. The dog is rough. The dog visits the bald eagle. If someone visits the bald eagle then they do not eat the dog.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If someone visits the bald eagle then they do not eat the dog.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "eats" "dog" "-"))
The bald eagle is young.
True
1
proof
[(triple3)]
("bald eagle" "is" "young" "+")
triple3
The dog is not blue.
False
1
inv-proof
[(triple10)]
("dog" "is" "blue" "-")
triple10
The dog does not eat the dog.
True
2
proof
[(((triple12) -> rule1))]
("dog" "eats" "dog" "-")
((triple12) -> (rule1 % int1))
The dog does not eat the dog.
("dog" "eats" "dog" "-")
int1
The dog eats the dog.
False
2
inv-proof
[(((triple12) -> rule1))]
("dog" "eats" "dog" "+")
((triple12) -> (rule1 % int1))
The dog does not eat the dog.
("dog" "eats" "dog" "-")
int1
The dog does not see the cat.
Unknown
inv-random
[@0: The dog sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "cat" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The cat is not blue.
Unknown
inv-random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The bald eagle does not see the dog.[(triple4)] The bald eagle eats the dog.[(triple1)] The bald eagle is red.[(triple2)] The bald eagle is young.[(triple3)] The bald eagle visits the cat.[(triple5)] The cat does not visit the bald eagle.[(triple8)] The cat eats the dog.[(triple6)] The cat sees the bald eagle.[(triple7)] The dog eats the cat.[(triple9)] The dog is blue.[(triple10)] The dog is rough.[(triple11)] The dog visits the bald eagle.[(triple12)] @1: The dog does not eat the dog.[(((triple12) -> rule1))]
The bald eagle does not see the dog.
("bald eagle" "sees" "dog" "-")
triple4
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
triple5
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
triple8
The cat eats the dog.
("cat" "eats" "dog" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The dog eats the cat.
("dog" "eats" "cat" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog is rough.
("dog" "is" "rough" "+")
triple11
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple12
The dog does not eat the dog.
("dog" "eats" "dog" "-")
((triple12) -> (rule1 % int1))
The dog does not eat the dog.
("dog" "eats" "dog" "-")
int1