The bald eagle chases the mouse. The bald eagle needs the dog. The bald eagle sees the mouse. The dog sees the mouse. The dog sees the rabbit. The mouse chases the bald eagle. The mouse chases the rabbit. The mouse is green. The mouse is kind. The mouse needs the bald eagle. The mouse needs the dog. The rabbit is kind. The rabbit needs the bald eagle. The rabbit needs the dog. The rabbit sees the mouse. If someone needs the dog and the dog sees the bald eagle then the dog is green. If someone is rough and they see the bald eagle then the bald eagle sees the dog. If someone chases the rabbit then they chase 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 sees the mouse.
("dog" "sees" "mouse" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If someone needs the dog and the dog sees the bald eagle then the dog is green.
((("someone" "needs" "dog" "+") ("dog" "sees" "bald eagle" "+")) -> ("dog" "is" "green" "+"))
If someone is rough and they see the bald eagle then the bald eagle sees the dog.
((("someone" "is" "rough" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If someone chases the rabbit then they chase the mouse.
((("someone" "chases" "rabbit" "+")) -> ("someone" "chases" "mouse" "+"))
The bald eagle sees the mouse.
True
1
proof
[(triple3)]
("bald eagle" "sees" "mouse" "+")
triple3
The bald eagle does not need the dog.
False
1
inv-proof
[(triple2)]
("bald eagle" "needs" "dog" "-")
triple2
The mouse chases the mouse.
True
2
proof
[(((triple7) -> rule3))]
("mouse" "chases" "mouse" "+")
((triple7) -> (rule3 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse does not chase the mouse.
False
2
inv-proof
[(((triple7) -> rule3))]
("mouse" "chases" "mouse" "-")
((triple7) -> (rule3 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The bald eagle does not see the dog.
Unknown
inv-rconc
[@1: The bald eagle sees the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "sees" "dog" "-")
The dog chases the mouse.
Unknown
rconc
[@1: The dog chases the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "chases" "mouse" "+")
The dog does not chase the rabbit.
Unknown
inv-random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "-")
The dog is rough.
Unknown
random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "+")
@0: The bald eagle chases the mouse.[(triple1)] The bald eagle needs the dog.[(triple2)] The bald eagle sees the mouse.[(triple3)] The dog sees the mouse.[(triple4)] The dog sees the rabbit.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse chases the rabbit.[(triple7)] The mouse is green.[(triple8)] The mouse is kind.[(triple9)] The mouse needs the bald eagle.[(triple10)] The mouse needs the dog.[(triple11)] The rabbit is kind.[(triple12)] The rabbit needs the bald eagle.[(triple13)] The rabbit needs the dog.[(triple14)] The rabbit sees the mouse.[(triple15)] @1: The mouse chases the mouse.[(((triple7) -> rule3))]
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 sees the mouse.
("dog" "sees" "mouse" "+")
triple4
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple5
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple6
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple7
The mouse is green.
("mouse" "is" "green" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple10
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit needs the bald eagle.
("rabbit" "needs" "bald eagle" "+")
triple13
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple14
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple15
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple7) -> (rule3 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1