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