The bear eats the cow. The bear is big. The bear is not blue. The bear is green. The bear is nice. The bear is red. The bear likes the cow. The bear does not see the cow. The cow eats the bear. The cow is big. The cow is blue. The cow is not green. The cow is not red. The cow does not like the bear. The cow sees the bear. If the bear does not see the cow then the cow is nice.
The bear eats the cow.
("bear" "eats" "cow" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear does not see the cow.
("bear" "sees" "cow" "-")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is not green.
("cow" "is" "green" "-")
The cow is not red.
("cow" "is" "red" "-")
The cow does not like the bear.
("cow" "likes" "bear" "-")
The cow sees the bear.
("cow" "sees" "bear" "+")
If the bear does not see the cow then the cow is nice.
((("bear" "sees" "cow" "~")) -> ("cow" "is" "nice" "+"))
The bear eats the cow.
True
1
proof
[(triple1)]
("bear" "eats" "cow" "+")
triple1
The bear does not eat the cow.
False
1
inv-proof
[(triple1)]
("bear" "eats" "cow" "-")
triple1
The cow is nice.
True
2
proof
[(((triple8) -> rule1))]
("cow" "is" "nice" "+")
((triple8) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
2
inv-proof
[(((triple8) -> rule1))]
("cow" "is" "nice" "-")
((triple8) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bear does not see the cow.[(triple8)] The bear eats the cow.[(triple1)] The bear is big.[(triple2)] The bear is green.[(triple4)] The bear is nice.[(triple5)] The bear is not blue.[(triple3)] The bear is red.[(triple6)] The bear likes the cow.[(triple7)] The cow does not like the bear.[(triple14)] The cow eats the bear.[(triple9)] The cow is big.[(triple10)] The cow is blue.[(triple11)] The cow is not green.[(triple12)] The cow is not red.[(triple13)] The cow sees the bear.[(triple15)] @1: The cow is nice.[(((triple8) -> rule1))]
The bear does not see the cow.
("bear" "sees" "cow" "-")
triple8
The bear eats the cow.
("bear" "eats" "cow" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is green.
("bear" "is" "green" "+")
triple4
The bear is nice.
("bear" "is" "nice" "+")
triple5
The bear is not blue.
("bear" "is" "blue" "-")
triple3
The bear is red.
("bear" "is" "red" "+")
triple6
The bear likes the cow.
("bear" "likes" "cow" "+")
triple7
The cow does not like the bear.
("cow" "likes" "bear" "-")
triple14
The cow eats the bear.
("cow" "eats" "bear" "+")
triple9
The cow is big.
("cow" "is" "big" "+")
triple10
The cow is blue.
("cow" "is" "blue" "+")
triple11
The cow is not green.
("cow" "is" "green" "-")
triple12
The cow is not red.
("cow" "is" "red" "-")
triple13
The cow sees the bear.
("cow" "sees" "bear" "+")
triple15
The cow is nice.
("cow" "is" "nice" "+")
((triple8) -> (rule1 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1