The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle is green. The bald eagle is kind. The bald eagle is red. The bald eagle likes the dog. The bald eagle likes the mouse. The dog is red. The dog likes the bald eagle. The mouse chases the dog. The mouse eats the bald eagle. The mouse eats the dog. The mouse is big. The mouse is kind. The mouse is red. The mouse likes the bald eagle. If the dog likes the mouse then the dog is red. If the dog eats the mouse and the mouse chases the bald eagle then the bald eagle eats the mouse. If the dog chases the bald eagle and the dog eats the mouse then the bald eagle is red. If someone is green then they like the dog. If someone is nice and they like the mouse then they eat the dog. If the dog is green and the dog eats the mouse then the dog is big. If someone is red and they like the mouse then they chase the bald eagle. If the bald eagle likes the mouse then the bald eagle eats the dog.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
If the dog likes the mouse then the dog is red.
((("dog" "likes" "mouse" "+")) -> ("dog" "is" "red" "+"))
If the dog eats the mouse and the mouse chases the bald eagle then the bald eagle eats the mouse.
((("dog" "eats" "mouse" "+") ("mouse" "chases" "bald eagle" "+")) -> ("bald eagle" "eats" "mouse" "+"))
If the dog chases the bald eagle and the dog eats the mouse then the bald eagle is red.
((("dog" "chases" "bald eagle" "+") ("dog" "eats" "mouse" "+")) -> ("bald eagle" "is" "red" "+"))
If someone is green then they like the dog.
((("someone" "is" "green" "+")) -> ("someone" "likes" "dog" "+"))
If someone is nice and they like the mouse then they eat the dog.
((("someone" "is" "nice" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "eats" "dog" "+"))
If the dog is green and the dog eats the mouse then the dog is big.
((("dog" "is" "green" "+") ("dog" "eats" "mouse" "+")) -> ("dog" "is" "big" "+"))
If someone is red and they like the mouse then they chase the bald eagle.
((("someone" "is" "red" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "chases" "bald eagle" "+"))
If the bald eagle likes the mouse then the bald eagle eats the dog.
((("bald eagle" "likes" "mouse" "+")) -> ("bald eagle" "eats" "dog" "+"))
The bald eagle is green.
True
1
proof
[(triple3)]
("bald eagle" "is" "green" "+")
triple3
The mouse does not eat the bald eagle.
False
1
inv-proof
[(triple11)]
("mouse" "eats" "bald eagle" "-")
triple11
The bald eagle chases the bald eagle.
True
3
proof
[(((triple5 triple7) -> rule7))]
("bald eagle" "chases" "bald eagle" "+")
((triple5 triple7) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle does not chase the bald eagle.
False
3
inv-proof
[(((triple5 triple7) -> rule7))]
("bald eagle" "chases" "bald eagle" "-")
((triple5 triple7) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The mouse does not chase the bald eagle.
Unknown
inv-rconc
[@1: The mouse chases the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "chases" "bald eagle" "-")
The dog eats the dog.
Unknown
rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "dog" "+")
The mouse does not chase the mouse.
Unknown
inv-random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "-")
The dog likes the mouse.
Unknown
random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the dog.[(triple2 OR ((triple7) -> rule8))] The bald eagle is green.[(triple3)] The bald eagle is kind.[(triple4)] The bald eagle is red.[(triple5)] The bald eagle likes the dog.[(triple6 OR ((triple3) -> rule4))] The bald eagle likes the mouse.[(triple7)] The dog is red.[(triple8)] The dog likes the bald eagle.[(triple9)] The mouse chases the dog.[(triple10)] The mouse eats the bald eagle.[(triple11)] The mouse eats the dog.[(triple12)] The mouse is big.[(triple13)] The mouse is kind.[(triple14)] The mouse is red.[(triple15)] The mouse likes the bald eagle.[(triple16)] @1: The bald eagle chases the bald eagle.[(((triple5 triple7) -> rule7))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
((triple7) -> (rule8 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple5
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple6
((triple3) -> (rule4 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple9
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple10
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple11
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple12
The mouse is big.
("mouse" "is" "big" "+")
triple13
The mouse is kind.
("mouse" "is" "kind" "+")
triple14
The mouse is red.
("mouse" "is" "red" "+")
triple15
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple16
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((triple5 triple7) -> (rule7 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1