The bald eagle chases the mouse. The bald eagle needs the cat. The cat is green. The cat needs the bald eagle. The dog is green. The mouse chases the cat. The mouse is cold. The mouse is green. The mouse sees the bald eagle. The mouse sees the dog. If someone sees the bald eagle then they need the dog.
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat is green.
("cat" "is" "green" "+")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone sees the bald eagle then they need the dog.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "needs" "dog" "+"))
The mouse sees the bald eagle.
True
1
proof
[(triple9)]
("mouse" "sees" "bald eagle" "+")
triple9
The mouse does not chase the cat.
False
1
inv-proof
[(triple6)]
("mouse" "chases" "cat" "-")
triple6
The cat does not need the dog.
Unknown
inv-rconc
[@1: The cat needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "needs" "dog" "-")
The cat chases the mouse.
Unknown
random
[@0: The cat chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "mouse" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat is green.[(triple3)] The cat needs the bald eagle.[(triple4)] The dog is green.[(triple5)] The mouse chases the cat.[(triple6)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse sees the bald eagle.[(triple9)] The mouse sees the dog.[(triple10)] @1: The mouse needs the dog.[(((triple9) -> rule1))]
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple6
The mouse is cold.
("mouse" "is" "cold" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple9
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple10
The mouse needs the dog.
("mouse" "needs" "dog" "+")
((triple9) -> (rule1 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1