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