The bear is not big. The bear is round. The cow eats the lion. The dog is big. The dog is kind. The dog likes the bear. The lion is green. The lion is red. The lion likes the bear. The lion sees the cow. If someone eats the dog and the dog likes the bear then the bear is not red. If someone is green and they see the cow then the cow sees the lion.
The bear is not big.
("bear" "is" "big" "-")
The bear is round.
("bear" "is" "round" "+")
The cow eats the lion.
("cow" "eats" "lion" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog likes the bear.
("dog" "likes" "bear" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If someone eats the dog and the dog likes the bear then the bear is not red.
((("someone" "eats" "dog" "+") ("dog" "likes" "bear" "+")) -> ("bear" "is" "red" "-"))
If someone is green and they see the cow then the cow sees the lion.
((("someone" "is" "green" "+") ("someone" "sees" "cow" "+")) -> ("cow" "sees" "lion" "+"))
The bear is not big.
True
1
proof
[(triple1)]
("bear" "is" "big" "-")
triple1
The lion is not green.
False
1
inv-proof
[(triple7)]
("lion" "is" "green" "-")
triple7
The bear does not see the dog.
Unknown
inv-random
[@0: The bear sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "dog" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
@0: The bear is not big.[(triple1)] The bear is round.[(triple2)] The cow eats the lion.[(triple3)] The dog is big.[(triple4)] The dog is kind.[(triple5)] The dog likes the bear.[(triple6)] The lion is green.[(triple7)] The lion is red.[(triple8)] The lion likes the bear.[(triple9)] The lion sees the cow.[(triple10)] @1: The cow sees the lion.[(((triple7 triple10) -> rule2))]
The bear is not big.
("bear" "is" "big" "-")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The cow eats the lion.
("cow" "eats" "lion" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog likes the bear.
("dog" "likes" "bear" "+")
triple6
The lion is green.
("lion" "is" "green" "+")
triple7
The lion is red.
("lion" "is" "red" "+")
triple8
The lion likes the bear.
("lion" "likes" "bear" "+")
triple9
The lion sees the cow.
("lion" "sees" "cow" "+")
triple10
The cow sees the lion.
("cow" "sees" "lion" "+")
((triple7 triple10) -> (rule2 % int1))
The cow sees the lion.
("cow" "sees" "lion" "+")
int1