The bald eagle sees the cow. The cow is nice. The cow is young. The cow likes the bald eagle. The cow likes the mouse. The cow needs the mouse. The cow sees the mouse. The mouse is blue. The mouse is nice. The mouse is rough. The mouse likes the bald eagle. The mouse needs the bald eagle. The mouse needs the cow. The mouse sees the bald eagle. The mouse sees the cow. If something is nice then it sees the bald eagle. If the bald eagle sees the mouse then the mouse needs the cow. If something sees the cow and the cow sees the bald eagle then the bald eagle sees the mouse.
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is young.
("cow" "is" "young" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If something is nice then it sees the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "sees" "bald eagle" "+"))
If the bald eagle sees the mouse then the mouse needs the cow.
((("bald eagle" "sees" "mouse" "+")) -> ("mouse" "needs" "cow" "+"))
If something sees the cow and the cow sees the bald eagle then the bald eagle sees the mouse.
((("something" "sees" "cow" "+") ("cow" "sees" "bald eagle" "+")) -> ("bald eagle" "sees" "mouse" "+"))
The mouse needs the cow.
True
1
proof
[(triple13 OR ((((triple1 ((triple2) -> rule1)) -> rule3)) -> rule2) OR ((((triple15 ((triple2) -> rule1)) -> rule3)) -> rule2))]
("mouse" "needs" "cow" "+")
triple13
((((triple1 ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
((((triple15 ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The cow does not like the mouse.
False
1
inv-proof
[(triple5)]
("cow" "likes" "mouse" "-")
triple5
The cow sees the bald eagle.
True
2
proof
[(((triple2) -> rule1))]
("cow" "sees" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The cow does not see the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "sees" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The bald eagle sees the mouse.
True
4
proof
[(((triple1 ((triple2) -> rule1)) -> rule3) OR ((triple15 ((triple2) -> rule1)) -> rule3))]
("bald eagle" "sees" "mouse" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
((triple15 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The bald eagle does not see the mouse.
False
4
inv-proof
[(((triple1 ((triple2) -> rule1)) -> rule3) OR ((triple15 ((triple2) -> rule1)) -> rule3))]
("bald eagle" "sees" "mouse" "-")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
((triple15 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
The bald eagle does not see the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
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 young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The bald eagle sees the cow.[(triple1)] The cow is nice.[(triple2)] The cow is young.[(triple3)] The cow likes the bald eagle.[(triple4)] The cow likes the mouse.[(triple5)] The cow needs the mouse.[(triple6)] The cow sees the mouse.[(triple7)] The mouse is blue.[(triple8)] The mouse is nice.[(triple9)] The mouse is rough.[(triple10)] The mouse likes the bald eagle.[(triple11)] The mouse needs the bald eagle.[(triple12)] The mouse needs the cow.[(triple13 OR ((((triple1 ((triple2) -> rule1)) -> rule3)) -> rule2) OR ((((triple15 ((triple2) -> rule1)) -> rule3)) -> rule2))] The mouse sees the bald eagle.[(triple14 OR ((triple9) -> rule1))] The mouse sees the cow.[(triple15)] @1: The cow sees the bald eagle.[(((triple2) -> rule1))] @2: The bald eagle sees the mouse.[(((triple1 ((triple2) -> rule1)) -> rule3) OR ((triple15 ((triple2) -> rule1)) -> rule3))]
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple1
The cow is nice.
("cow" "is" "nice" "+")
triple2
The cow is young.
("cow" "is" "young" "+")
triple3
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple4
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple5
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple6
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple7
The mouse is blue.
("mouse" "is" "blue" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The mouse likes the bald eagle.
("mouse" "likes" "bald eagle" "+")
triple11
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple12
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple13
((((triple1 ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
((((triple15 ((triple2) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse needs the cow.
("mouse" "needs" "cow" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int2
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int3
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
triple14
((triple9) -> (rule1 % int1))
The mouse sees the bald eagle.
("mouse" "sees" "bald eagle" "+")
int1
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple15
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int1
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
((triple1 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2
((triple15 ((triple2) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle sees the mouse.
("bald eagle" "sees" "mouse" "+")
int1
The cow sees the bald eagle.
("cow" "sees" "bald eagle" "+")
int2