The bald eagle chases the lion. The bald eagle is cold. The lion is cold. The rabbit is not young. The tiger chases the rabbit. The tiger is not nice. The tiger is not rough. If something visits the tiger and it visits the lion then the tiger does not visit the bald eagle. If something chases the tiger and it does not chase the bald eagle then the bald eagle chases the lion.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The lion is cold.
("lion" "is" "cold" "+")
The rabbit is not young.
("rabbit" "is" "young" "-")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is not nice.
("tiger" "is" "nice" "-")
The tiger is not rough.
("tiger" "is" "rough" "-")
If something visits the tiger and it visits the lion then the tiger does not visit the bald eagle.
((("something" "visits" "tiger" "+") ("something" "visits" "lion" "+")) -> ("tiger" "visits" "bald eagle" "-"))
If something chases the tiger and it does not chase the bald eagle then the bald eagle chases the lion.
((("something" "chases" "tiger" "+") ("something" "chases" "bald eagle" "~")) -> ("bald eagle" "chases" "lion" "+"))
The bald eagle chases the lion.
True
1
proof
[(triple1)]
("bald eagle" "chases" "lion" "+")
triple1
The lion is not cold.
False
1
inv-proof
[(triple3)]
("lion" "is" "cold" "-")
triple3
The lion does not chase the tiger.
Unknown
inv-random
[@0: The lion chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "tiger" "-")
The lion chases the rabbit.
Unknown
random
[@0: The lion chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "rabbit" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is cold.[(triple2)] The lion is cold.[(triple3)] The rabbit is not young.[(triple4)] The tiger chases the rabbit.[(triple5)] The tiger is not nice.[(triple6)] The tiger is not rough.[(triple7)]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The rabbit is not young.
("rabbit" "is" "young" "-")
triple4
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple5
The tiger is not nice.
("tiger" "is" "nice" "-")
triple6
The tiger is not rough.
("tiger" "is" "rough" "-")
triple7