The bald eagle does not like the mouse. The cat is nice. The cat needs the dog. The cat needs the mouse. The cat does not see the mouse. The dog is red. The dog likes the bald eagle. The dog does not like the cat. The mouse is nice. The mouse needs the bald eagle. If the bald eagle does not like the cat then the bald eagle is cold. If something sees the bald eagle then the bald eagle needs the dog. If something likes the dog then the dog likes the mouse. If something is nice and it does not see the dog then the dog likes the mouse. If the bald eagle likes the cat and the bald eagle sees the mouse then the bald eagle does not see the cat. If something likes the cat and it is kind then the cat is kind. If something is nice and it likes the cat then it likes the bald eagle. If something likes the dog then the dog needs the mouse.
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
The dog is red.
("dog" "is" "red" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog does not like the cat.
("dog" "likes" "cat" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
If the bald eagle does not like the cat then the bald eagle is cold.
((("bald eagle" "likes" "cat" "~")) -> ("bald eagle" "is" "cold" "+"))
If something sees the bald eagle then the bald eagle needs the dog.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If something likes the dog then the dog likes the mouse.
((("something" "likes" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
If something is nice and it does not see the dog then the dog likes the mouse.
((("something" "is" "nice" "+") ("something" "sees" "dog" "~")) -> ("dog" "likes" "mouse" "+"))
If the bald eagle likes the cat and the bald eagle sees the mouse then the bald eagle does not see the cat.
((("bald eagle" "likes" "cat" "+") ("bald eagle" "sees" "mouse" "+")) -> ("bald eagle" "sees" "cat" "-"))
If something likes the cat and it is kind then the cat is kind.
((("something" "likes" "cat" "+") ("something" "is" "kind" "+")) -> ("cat" "is" "kind" "+"))
If something is nice and it likes the cat then it likes the bald eagle.
((("something" "is" "nice" "+") ("something" "likes" "cat" "+")) -> ("something" "likes" "bald eagle" "+"))
If something likes the dog then the dog needs the mouse.
((("something" "likes" "dog" "+")) -> ("dog" "needs" "mouse" "+"))
The mouse is nice.
True
1
proof
[(triple9)]
("mouse" "is" "nice" "+")
triple9
The cat is not nice.
False
1
inv-proof
[(triple2)]
("cat" "is" "nice" "-")
triple2
The bald eagle is not cold.
Unknown
inv-rconc
[@1: The bald eagle is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "cold" "-")
The mouse sees the bald eagle.
Unknown
random
[@0: The mouse sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bald eagle" "+")
@0: The bald eagle does not like the mouse.[(triple1)] The cat does not see the mouse.[(triple5)] The cat is nice.[(triple2)] The cat needs the dog.[(triple3)] The cat needs the mouse.[(triple4)] The dog does not like the cat.[(triple8)] The dog is red.[(triple6)] The dog likes the bald eagle.[(triple7)] The mouse is nice.[(triple9)] The mouse needs the bald eagle.[(triple10)]
The bald eagle does not like the mouse.
("bald eagle" "likes" "mouse" "-")
triple1
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
triple5
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat needs the dog.
("cat" "needs" "dog" "+")
triple3
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple4
The dog does not like the cat.
("dog" "likes" "cat" "-")
triple8
The dog is red.
("dog" "is" "red" "+")
triple6
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple10