The bald eagle is blue. The bald eagle is green. The bald eagle is red. The bald eagle likes the mouse. The dog likes the bald eagle. The dog needs the bald eagle. The mouse likes the dog. If the dog does not need the bald eagle then the dog does not see the mouse. If something is blue then it likes the dog. If something is blue and it does not see the dog then the dog is blue. If the bald eagle likes the dog then the dog is blue. If the bald eagle needs the dog and the bald eagle is blue then the bald eagle does not need the mouse. If something needs the mouse then it is not green.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If the dog does not need the bald eagle then the dog does not see the mouse.
((("dog" "needs" "bald eagle" "~")) -> ("dog" "sees" "mouse" "-"))
If something is blue then it likes the dog.
((("something" "is" "blue" "+")) -> ("something" "likes" "dog" "+"))
If something is blue and it does not see the dog then the dog is blue.
((("something" "is" "blue" "+") ("something" "sees" "dog" "~")) -> ("dog" "is" "blue" "+"))
If the bald eagle likes the dog then the dog is blue.
((("bald eagle" "likes" "dog" "+")) -> ("dog" "is" "blue" "+"))
If the bald eagle needs the dog and the bald eagle is blue then the bald eagle does not need the mouse.
((("bald eagle" "needs" "dog" "+") ("bald eagle" "is" "blue" "+")) -> ("bald eagle" "needs" "mouse" "-"))
If something needs the mouse then it is not green.
((("something" "needs" "mouse" "+")) -> ("something" "is" "green" "-"))
The dog likes the bald eagle.
True
1
proof
[(triple5)]
("dog" "likes" "bald eagle" "+")
triple5
The bald eagle is not red.
False
1
inv-proof
[(triple3)]
("bald eagle" "is" "red" "-")
triple3
The bald eagle likes the dog.
True
2
proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "dog" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The bald eagle does not like the dog.
False
2
inv-proof
[(((triple1) -> rule2))]
("bald eagle" "likes" "dog" "-")
((triple1) -> (rule2 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog is blue.
True
3
proof
[(((((triple1) -> rule2)) -> rule4))]
("dog" "is" "blue" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The dog is not blue.
False
3
inv-proof
[(((((triple1) -> rule2)) -> rule4))]
("dog" "is" "blue" "-")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The dog likes the dog.
True
4
proof
[(((((((triple1) -> rule2)) -> rule4)) -> rule2))]
("dog" "likes" "dog" "+")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The dog does not like the dog.
False
4
inv-proof
[(((((((triple1) -> rule2)) -> rule4)) -> rule2))]
("dog" "likes" "dog" "-")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse needs the dog.
Unknown
random
[@0: The mouse needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "dog" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The mouse likes the bald eagle.
Unknown
random
[@0: The mouse likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bald eagle" "+")
The bald eagle does not need the dog.
Unknown
inv-random
[@0: The bald eagle needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "dog" "-")
The dog likes the mouse.
Unknown
random
[@0: The dog likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "mouse" "+")
The bald eagle does not see the mouse.
Unknown
inv-random
[@0: The bald eagle sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "mouse" "-")
The mouse is green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle is green.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle likes the mouse.[(triple4)] The dog likes the bald eagle.[(triple5)] The dog needs the bald eagle.[(triple6)] The mouse likes the dog.[(triple7)] @1: The bald eagle likes the dog.[(((triple1) -> rule2))] @2: The dog is blue.[(((((triple1) -> rule2)) -> rule4))] @3: The dog likes the dog.[(((((((triple1) -> rule2)) -> rule4)) -> rule2))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple4
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple5
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple6
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple7
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
((triple1) -> (rule2 % int1))
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
((((triple1) -> (rule2 % int2))) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int2
The dog likes the dog.
("dog" "likes" "dog" "+")
((((((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The dog likes the dog.
("dog" "likes" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
int3