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