The cow is cold. The cow is kind. The cow is nice. The cow is red. The cow is not round. The cow likes the lion. The cow sees the lion. The cow does not visit the lion. The lion is cold. The lion is kind. The lion is nice. The lion is round. The lion likes the cow. The lion sees the cow. The lion visits the cow. If someone sees the lion and the lion does not visit the cow then the lion is kind.
The cow is cold.
("cow" "is" "cold" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is not round.
("cow" "is" "round" "-")
The cow likes the lion.
("cow" "likes" "lion" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The cow does not visit the lion.
("cow" "visits" "lion" "-")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the cow.
("lion" "likes" "cow" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If someone sees the lion and the lion does not visit the cow then the lion is kind.
((("someone" "sees" "lion" "+") ("lion" "visits" "cow" "~")) -> ("lion" "is" "kind" "+"))
The cow likes the lion.
True
1
proof
[(triple6)]
("cow" "likes" "lion" "+")
triple6
The cow is not nice.
False
1
inv-proof
[(triple3)]
("cow" "is" "nice" "-")
triple3
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 lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The cow does not visit the lion.[(triple8)] The cow is cold.[(triple1)] The cow is kind.[(triple2)] The cow is nice.[(triple3)] The cow is not round.[(triple5)] The cow is red.[(triple4)] The cow likes the lion.[(triple6)] The cow sees the lion.[(triple7)] The lion is cold.[(triple9)] The lion is kind.[(triple10)] The lion is nice.[(triple11)] The lion is round.[(triple12)] The lion likes the cow.[(triple13)] The lion sees the cow.[(triple14)] The lion visits the cow.[(triple15)]
The cow does not visit the lion.
("cow" "visits" "lion" "-")
triple8
The cow is cold.
("cow" "is" "cold" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is not round.
("cow" "is" "round" "-")
triple5
The cow is red.
("cow" "is" "red" "+")
triple4
The cow likes the lion.
("cow" "likes" "lion" "+")
triple6
The cow sees the lion.
("cow" "sees" "lion" "+")
triple7
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple10
The lion is nice.
("lion" "is" "nice" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion likes the cow.
("lion" "likes" "cow" "+")
triple13
The lion sees the cow.
("lion" "sees" "cow" "+")
triple14
The lion visits the cow.
("lion" "visits" "cow" "+")
triple15