The bald eagle eats the dog. The bald eagle is round. The bald eagle does not need the bear. The bear chases the dog. The bear eats the dog. The bear is big. The bear is blue. The bear is red. The bear needs the mouse. The dog is blue. The dog needs the mouse. The mouse does not eat the bear. The mouse eats the dog. The mouse is blue. The mouse is round. The mouse needs the bald eagle. Big, blue things are red. If something is red then it eats the bear. If something eats the mouse and it is round then it eats the bear.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is red.
("bear" "is" "red" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
Big, blue things are red.
((("something" "is" "big" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If something is red then it eats the bear.
((("something" "is" "red" "+")) -> ("something" "eats" "bear" "+"))
If something eats the mouse and it is round then it eats the bear.
((("something" "eats" "mouse" "+") ("something" "is" "round" "+")) -> ("something" "eats" "bear" "+"))
The dog needs the mouse.
True
1
proof
[(triple11)]
("dog" "needs" "mouse" "+")
triple11
The dog is not blue.
False
1
inv-proof
[(triple10)]
("dog" "is" "blue" "-")
triple10
The bear eats the bear.
True
2
proof
[(((triple8) -> rule2) OR ((((triple6 triple7) -> rule1)) -> rule2))]
("bear" "eats" "bear" "+")
((triple8) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear does not eat the bear.
False
2
inv-proof
[(((triple8) -> rule2) OR ((((triple6 triple7) -> rule1)) -> rule2))]
("bear" "eats" "bear" "-")
((triple8) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bald eagle does not eat the bear.
Unknown
inv-rconc
[@2: The bald eagle eats the bear.[CWA. Example of deepest failure = (rule2 <- rule1 <- FAIL)]]
("bald eagle" "eats" "bear" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "red" "+")
The dog does not need the bald eagle.
Unknown
inv-random
[@0: The dog needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "bald eagle" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
@0: The bald eagle does not need the bear.[(triple3)] The bald eagle eats the dog.[(triple1)] The bald eagle is round.[(triple2)] The bear chases the dog.[(triple4)] The bear eats the dog.[(triple5)] The bear is big.[(triple6)] The bear is blue.[(triple7)] The bear is red.[(triple8 OR ((triple6 triple7) -> rule1))] The bear needs the mouse.[(triple9)] The dog is blue.[(triple10)] The dog needs the mouse.[(triple11)] The mouse does not eat the bear.[(triple12)] The mouse eats the dog.[(triple13)] The mouse is blue.[(triple14)] The mouse is round.[(triple15)] The mouse needs the bald eagle.[(triple16)] @1: The bear eats the bear.[(((triple8) -> rule2) OR ((((triple6 triple7) -> rule1)) -> rule2))]
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
triple3
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
The bear chases the dog.
("bear" "chases" "dog" "+")
triple4
The bear eats the dog.
("bear" "eats" "dog" "+")
triple5
The bear is big.
("bear" "is" "big" "+")
triple6
The bear is blue.
("bear" "is" "blue" "+")
triple7
The bear is red.
("bear" "is" "red" "+")
triple8
((triple6 triple7) -> (rule1 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple9
The dog is blue.
("dog" "is" "blue" "+")
triple10
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple11
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
triple12
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple13
The mouse is blue.
("mouse" "is" "blue" "+")
triple14
The mouse is round.
("mouse" "is" "round" "+")
triple15
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple16
The bear eats the bear.
("bear" "eats" "bear" "+")
((triple8) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
((((triple6 triple7) -> (rule1 % int2))) -> (rule2 % int1))
The bear eats the bear.
("bear" "eats" "bear" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2