The bear is cold. The bear is not green. The bear is nice. The bear is rough. The bear is young. The bear likes the cow. The bear needs the cow. The bear does not visit the cow. The cow is not nice. The cow needs the bear. If the bear likes the cow and the bear is not young then the bear is not cold. If someone is nice and they like the cow then the cow likes the bear.
The bear is cold.
("bear" "is" "cold" "+")
The bear is not green.
("bear" "is" "green" "-")
The bear is nice.
("bear" "is" "nice" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear needs the cow.
("bear" "needs" "cow" "+")
The bear does not visit the cow.
("bear" "visits" "cow" "-")
The cow is not nice.
("cow" "is" "nice" "-")
The cow needs the bear.
("cow" "needs" "bear" "+")
If the bear likes the cow and the bear is not young then the bear is not cold.
((("bear" "likes" "cow" "+") ("bear" "is" "young" "~")) -> ("bear" "is" "cold" "-"))
If someone is nice and they like the cow then the cow likes the bear.
((("someone" "is" "nice" "+") ("someone" "likes" "cow" "+")) -> ("cow" "likes" "bear" "+"))
The bear does not visit the cow.
True
1
proof
[(triple8)]
("bear" "visits" "cow" "-")
triple8
The bear is not young.
False
1
inv-proof
[(triple5)]
("bear" "is" "young" "-")
triple5
The cow is not cold.
Unknown
inv-random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "-")
The cow is green.
Unknown
random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "+")
@0: The bear does not visit the cow.[(triple8)] The bear is cold.[(triple1)] The bear is nice.[(triple3)] The bear is not green.[(triple2)] The bear is rough.[(triple4)] The bear is young.[(triple5)] The bear likes the cow.[(triple6)] The bear needs the cow.[(triple7)] The cow is not nice.[(triple9)] The cow needs the bear.[(triple10)] @1: The cow likes the bear.[(((triple3 triple6) -> rule2))]
The bear does not visit the cow.
("bear" "visits" "cow" "-")
triple8
The bear is cold.
("bear" "is" "cold" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is not green.
("bear" "is" "green" "-")
triple2
The bear is rough.
("bear" "is" "rough" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The bear likes the cow.
("bear" "likes" "cow" "+")
triple6
The bear needs the cow.
("bear" "needs" "cow" "+")
triple7
The cow is not nice.
("cow" "is" "nice" "-")
triple9
The cow needs the bear.
("cow" "needs" "bear" "+")
triple10
The cow likes the bear.
("cow" "likes" "bear" "+")
((triple3 triple6) -> (rule2 % int1))
The cow likes the bear.
("cow" "likes" "bear" "+")
int1