The bald eagle does not chase the dog. The bald eagle chases the rabbit. The bald eagle eats the mouse. The bald eagle is kind. The dog eats the rabbit. The dog is round. The dog needs the bald eagle. The mouse is nice. The mouse is rough. The rabbit chases the dog. If something is round then it eats the mouse. If something needs the mouse then it does not eat the dog.
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
If something is round then it eats the mouse.
((("something" "is" "round" "+")) -> ("something" "eats" "mouse" "+"))
If something needs the mouse then it does not eat the dog.
((("something" "needs" "mouse" "+")) -> ("something" "eats" "dog" "-"))
The mouse is nice.
True
1
proof
[(triple8)]
("mouse" "is" "nice" "+")
triple8
The bald eagle does not eat the mouse.
False
1
inv-proof
[(triple3)]
("bald eagle" "eats" "mouse" "-")
triple3
The dog eats the mouse.
True
2
proof
[(((triple6) -> rule1))]
("dog" "eats" "mouse" "+")
((triple6) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog does not eat the mouse.
False
2
inv-proof
[(((triple6) -> rule1))]
("dog" "eats" "mouse" "-")
((triple6) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The rabbit eats the mouse.
Unknown
rconc
[@1: The rabbit eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "mouse" "+")
The rabbit does not eat the bald eagle.
Unknown
inv-random
[@0: The rabbit eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "bald eagle" "-")
The bald eagle eats the dog.
Unknown
random
[@0: The bald eagle eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "dog" "+")
@0: The bald eagle chases the rabbit.[(triple2)] The bald eagle does not chase the dog.[(triple1)] The bald eagle eats the mouse.[(triple3)] The bald eagle is kind.[(triple4)] The dog eats the rabbit.[(triple5)] The dog is round.[(triple6)] The dog needs the bald eagle.[(triple7)] The mouse is nice.[(triple8)] The mouse is rough.[(triple9)] The rabbit chases the dog.[(triple10)] @1: The dog eats the mouse.[(((triple6) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple2
The bald eagle does not chase the dog.
("bald eagle" "chases" "dog" "-")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple4
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple5
The dog is round.
("dog" "is" "round" "+")
triple6
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple10
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple6) -> (rule1 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1