The bald eagle chases the dog. The bald eagle is big. The bald eagle is young. The bald eagle needs the mouse. The bear does not chase the mouse. The bear is blue. The bear needs the mouse. The bear sees the bald eagle. The bear does not see the dog. The dog chases the bald eagle. The dog chases the mouse. The mouse chases the dog. The mouse is blue. The mouse is green. The mouse sees the dog. If the bald eagle sees the bear and the bald eagle sees the dog then the bear sees the mouse. If something needs the bear then the bear sees the mouse. If something sees the dog then it is green. If something sees the mouse and the mouse sees the dog then the mouse needs the dog. If something needs the bald eagle and the bald eagle chases the bear then it is blue. If something sees the bald eagle then the bald eagle needs the bear. If something chases the bear then the bear needs the mouse. Young things are big.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear does not see the dog.
("bear" "sees" "dog" "-")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is green.
("mouse" "is" "green" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If the bald eagle sees the bear and the bald eagle sees the dog then the bear sees the mouse.
((("bald eagle" "sees" "bear" "+") ("bald eagle" "sees" "dog" "+")) -> ("bear" "sees" "mouse" "+"))
If something needs the bear then the bear sees the mouse.
((("something" "needs" "bear" "+")) -> ("bear" "sees" "mouse" "+"))
If something sees the dog then it is green.
((("something" "sees" "dog" "+")) -> ("something" "is" "green" "+"))
If something sees the mouse and the mouse sees the dog then the mouse needs the dog.
((("something" "sees" "mouse" "+") ("mouse" "sees" "dog" "+")) -> ("mouse" "needs" "dog" "+"))
If something needs the bald eagle and the bald eagle chases the bear then it is blue.
((("something" "needs" "bald eagle" "+") ("bald eagle" "chases" "bear" "+")) -> ("something" "is" "blue" "+"))
If something sees the bald eagle then the bald eagle needs the bear.
((("something" "sees" "bald eagle" "+")) -> ("bald eagle" "needs" "bear" "+"))
If something chases the bear then the bear needs the mouse.
((("something" "chases" "bear" "+")) -> ("bear" "needs" "mouse" "+"))
Young things are big.
((("something" "is" "young" "+")) -> ("something" "is" "big" "+"))
The mouse sees the dog.
True
1
proof
[(triple15)]
("mouse" "sees" "dog" "+")
triple15
The mouse does not chase the dog.
False
1
inv-proof
[(triple12)]
("mouse" "chases" "dog" "-")
triple12
The bald eagle needs the bear.
True
2
proof
[(((triple8) -> rule6))]
("bald eagle" "needs" "bear" "+")
((triple8) -> (rule6 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle does not need the bear.
False
2
inv-proof
[(((triple8) -> rule6))]
("bald eagle" "needs" "bear" "-")
((triple8) -> (rule6 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bear sees the mouse.
True
3
proof
[(((((triple8) -> rule6)) -> rule2))]
("bear" "sees" "mouse" "+")
((((triple8) -> (rule6 % int2))) -> (rule2 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bear does not see the mouse.
False
3
inv-proof
[(((((triple8) -> rule6)) -> rule2))]
("bear" "sees" "mouse" "-")
((((triple8) -> (rule6 % int2))) -> (rule2 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The mouse needs the dog.
True
5
proof
[(((((((triple8) -> rule6)) -> rule2) triple15) -> rule4))]
("mouse" "needs" "dog" "+")
((((((triple8) -> (rule6 % int3))) -> (rule2 % int2)) triple15) -> (rule4 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The mouse does not need the dog.
False
5
inv-proof
[(((((((triple8) -> rule6)) -> rule2) triple15) -> rule4))]
("mouse" "needs" "dog" "-")
((((((triple8) -> (rule6 % int3))) -> (rule2 % int2)) triple15) -> (rule4 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("dog" "is" "big" "-")
The bald eagle is blue.
Unknown
rconc
[@1: The bald eagle is blue.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "is" "blue" "+")
The mouse is not big.
Unknown
inv-rconc
[@1: The mouse is big.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("mouse" "is" "big" "-")
The dog is green.
Unknown
rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "green" "+")
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 bald eagle chases the bear.
Unknown
random
[@0: The bald eagle chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bear" "+")
The bear does not chase the bear.
Unknown
inv-random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "-")
The dog sees the bear.
Unknown
random
[@0: The dog sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "bear" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle is big.[(triple2 OR ((triple3) -> rule8))] The bald eagle is young.[(triple3)] The bald eagle needs the mouse.[(triple4)] The bear does not chase the mouse.[(triple5)] The bear does not see the dog.[(triple9)] The bear is blue.[(triple6)] The bear needs the mouse.[(triple7)] The bear sees the bald eagle.[(triple8)] The dog chases the bald eagle.[(triple10)] The dog chases the mouse.[(triple11)] The mouse chases the dog.[(triple12)] The mouse is blue.[(triple13)] The mouse is green.[(triple14 OR ((triple15) -> rule3))] The mouse sees the dog.[(triple15)] @1: The bald eagle needs the bear.[(((triple8) -> rule6))] @2: The bear sees the mouse.[(((((triple8) -> rule6)) -> rule2))] @3: The mouse needs the dog.[(((((((triple8) -> rule6)) -> rule2) triple15) -> rule4))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
((triple3) -> (rule8 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
triple4
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
triple5
The bear does not see the dog.
("bear" "sees" "dog" "-")
triple9
The bear is blue.
("bear" "is" "blue" "+")
triple6
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple10
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple11
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple12
The mouse is blue.
("mouse" "is" "blue" "+")
triple13
The mouse is green.
("mouse" "is" "green" "+")
triple14
((triple15) -> (rule3 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple15
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((triple8) -> (rule6 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
((((triple8) -> (rule6 % int2))) -> (rule2 % int1))
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The mouse needs the dog.
("mouse" "needs" "dog" "+")
((((((triple8) -> (rule6 % int3))) -> (rule2 % int2)) triple15) -> (rule4 % int1))
The mouse needs the dog.
("mouse" "needs" "dog" "+")
int1
The bear sees the mouse.
("bear" "sees" "mouse" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3