The bald eagle chases the cat. The bald eagle is nice. The bald eagle likes the cat. The bald eagle likes the mouse. The bald eagle needs the cat. The cat chases the mouse. The cat is nice. The cat likes the bald eagle. The cat likes the mouse. The dog chases the mouse. The dog is green. The dog likes the bald eagle. The dog likes the cat. The dog needs the cat. The mouse chases the cat. The mouse likes the dog. If the bald eagle is nice then the bald eagle chases the mouse.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If the bald eagle is nice then the bald eagle chases the mouse.
((("bald eagle" "is" "nice" "+")) -> ("bald eagle" "chases" "mouse" "+"))
The dog needs the cat.
True
1
proof
[(triple14)]
("dog" "needs" "cat" "+")
triple14
The dog does not chase the mouse.
False
1
inv-proof
[(triple10)]
("dog" "chases" "mouse" "-")
triple10
The bald eagle chases the mouse.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "mouse" "+")
((triple2) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The bald eagle does not chase the mouse.
False
2
inv-proof
[(((triple2) -> rule1))]
("bald eagle" "chases" "mouse" "-")
((triple2) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1
The mouse does not like the bald eagle.
Unknown
inv-random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
The mouse does not like the cat.
Unknown
inv-random
[@0: The mouse likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "cat" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle likes the cat.[(triple3)] The bald eagle likes the mouse.[(triple4)] The bald eagle needs the cat.[(triple5)] The cat chases the mouse.[(triple6)] The cat is nice.[(triple7)] The cat likes the bald eagle.[(triple8)] The cat likes the mouse.[(triple9)] The dog chases the mouse.[(triple10)] The dog is green.[(triple11)] The dog likes the bald eagle.[(triple12)] The dog likes the cat.[(triple13)] The dog needs the cat.[(triple14)] The mouse chases the cat.[(triple15)] The mouse likes the dog.[(triple16)] @1: The bald eagle chases the mouse.[(((triple2) -> rule1))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple4
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple5
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple8
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple9
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple10
The dog is green.
("dog" "is" "green" "+")
triple11
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple12
The dog likes the cat.
("dog" "likes" "cat" "+")
triple13
The dog needs the cat.
("dog" "needs" "cat" "+")
triple14
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple15
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple16
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
((triple2) -> (rule1 % int1))
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
int1