The bald eagle is blue. The bald eagle visits the bear. The bald eagle visits the cow. The bear is not big. The bear is blue. The bear needs the bald eagle. The bear needs the cow. The bear sees the bald eagle. The bear sees the cow. The bear visits the bald eagle. The cow is big. The cow needs the bear. If something visits the bear then it does not see the bear. If something visits the cow then the cow visits the bear.
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The bear is not big.
("bear" "is" "big" "-")
The bear is blue.
("bear" "is" "blue" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The cow is big.
("cow" "is" "big" "+")
The cow needs the bear.
("cow" "needs" "bear" "+")
If something visits the bear then it does not see the bear.
((("something" "visits" "bear" "+")) -> ("something" "sees" "bear" "-"))
If something visits the cow then the cow visits the bear.
((("something" "visits" "cow" "+")) -> ("cow" "visits" "bear" "+"))
The bear needs the cow.
True
1
proof
[(triple7)]
("bear" "needs" "cow" "+")
triple7
The cow is not big.
False
1
inv-proof
[(triple11)]
("cow" "is" "big" "-")
triple11
The bald eagle does not see the bear.
True
2
proof
[(((triple2) -> rule1))]
("bald eagle" "sees" "bear" "-")
((triple2) -> (rule1 % int1))
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
int1
The cow does not visit the bear.
False
2
inv-proof
[(((triple3) -> rule2))]
("cow" "visits" "bear" "-")
((triple3) -> (rule2 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow does not see the bear.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("cow" "sees" "bear" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The cow does not see the bear.
("cow" "sees" "bear" "-")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow sees the bear.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("cow" "sees" "bear" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The cow does not see the bear.
("cow" "sees" "bear" "-")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The bear visits the cow.
Unknown
random
[@0: The bear visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "cow" "+")
The bald eagle does not see the cow.
Unknown
inv-random
[@0: The bald eagle sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "cow" "-")
The bald eagle is kind.
Unknown
random
[@0: The bald eagle is kind.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "kind" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The bald eagle needs the bear.
Unknown
random
[@0: The bald eagle needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bear" "+")
@0: The bald eagle is blue.[(triple1)] The bald eagle visits the bear.[(triple2)] The bald eagle visits the cow.[(triple3)] The bear is blue.[(triple5)] The bear is not big.[(triple4)] The bear needs the bald eagle.[(triple6)] The bear needs the cow.[(triple7)] The bear sees the bald eagle.[(triple8)] The bear sees the cow.[(triple9)] The bear visits the bald eagle.[(triple10)] The cow is big.[(triple11)] The cow needs the bear.[(triple12)] @1: The bald eagle does not see the bear.[(((triple2) -> rule1))] The cow visits the bear.[(((triple3) -> rule2))] @2: The cow does not see the bear.[(((((triple3) -> rule2)) -> rule1))]
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple1
The bald eagle visits the bear.
("bald eagle" "visits" "bear" "+")
triple2
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple5
The bear is not big.
("bear" "is" "big" "-")
triple4
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple6
The bear needs the cow.
("bear" "needs" "cow" "+")
triple7
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple8
The bear sees the cow.
("bear" "sees" "cow" "+")
triple9
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple10
The cow is big.
("cow" "is" "big" "+")
triple11
The cow needs the bear.
("cow" "needs" "bear" "+")
triple12
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
((triple2) -> (rule1 % int1))
The bald eagle does not see the bear.
("bald eagle" "sees" "bear" "-")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
((triple3) -> (rule2 % int1))
The cow visits the bear.
("cow" "visits" "bear" "+")
int1
The cow does not see the bear.
("cow" "sees" "bear" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The cow does not see the bear.
("cow" "sees" "bear" "-")
int1
The cow visits the bear.
("cow" "visits" "bear" "+")
int2