The bald eagle is blue. The bald eagle likes the mouse. The bald eagle sees the cat. The cat is rough. The mouse is not big. The mouse is not young. The mouse likes the bald eagle. The mouse likes the cat. The mouse needs the cat. The mouse sees the cat. Blue things are not young. If something needs the cat then the cat sees the bald eagle. If the cat sees the bald eagle then the cat is young.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
The cat is rough.
("cat" "is" "rough" "+")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse is not young.
("mouse" "is" "young" "-")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
Blue things are not young.
((("something" "is" "blue" "+")) -> ("something" "is" "young" "-"))
If something needs the cat then the cat sees the bald eagle.
((("something" "needs" "cat" "+")) -> ("cat" "sees" "bald eagle" "+"))
If the cat sees the bald eagle then the cat is young.
((("cat" "sees" "bald eagle" "+")) -> ("cat" "is" "young" "+"))
The mouse needs the cat.
True
1
proof
[(triple9)]
("mouse" "needs" "cat" "+")
triple9
The bald eagle is not blue.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "blue" "-")
triple1
The cat sees the bald eagle.
True
2
proof
[(((triple9) -> rule2))]
("cat" "sees" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat does not see the bald eagle.
False
2
inv-proof
[(((triple9) -> rule2))]
("cat" "sees" "bald eagle" "-")
((triple9) -> (rule2 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat is young.
True
3
proof
[(((((triple9) -> rule2)) -> rule3))]
("cat" "is" "young" "+")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
The cat is not young.
False
3
inv-proof
[(((((triple9) -> rule2)) -> rule3))]
("cat" "is" "young" "-")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2
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 sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The mouse is not red.
Unknown
inv-random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
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 bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle likes the mouse.[(triple2)] The bald eagle sees the cat.[(triple3)] The cat is rough.[(triple4)] The mouse is not big.[(triple5)] The mouse is not young.[(triple6)] The mouse likes the bald eagle.[(triple7)] The mouse likes the cat.[(triple8)] The mouse needs the cat.[(triple9)] The mouse sees the cat.[(triple10)] @1: The bald eagle is not young.[(((triple1) -> rule1))] The cat sees the bald eagle.[(((triple9) -> rule2))] @2: The cat is young.[(((((triple9) -> rule2)) -> rule3))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle likes the mouse.
("bald eagle" "likes" "mouse" "+")
triple2
The bald eagle sees the cat.
("bald eagle" "sees" "cat" "+")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple4
The mouse is not big.
("mouse" "is" "big" "-")
triple5
The mouse is not young.
("mouse" "is" "young" "-")
triple6
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple7
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple8
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple9
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple10
The bald eagle is not young.
("bald eagle" "is" "young" "-")
((triple1) -> (rule1 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
((triple9) -> (rule2 % int1))
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int1
The cat is young.
("cat" "is" "young" "+")
((((triple9) -> (rule2 % int2))) -> (rule3 % int1))
The cat is young.
("cat" "is" "young" "+")
int1
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
int2