The bald eagle is rough. The cow chases the bald eagle. The cow is cold. The cow is round. The cow visits the lion. The lion chases the bald eagle. The lion chases the cow. If the bald eagle is big then the bald eagle visits the lion.
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow is round.
("cow" "is" "round" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
If the bald eagle is big then the bald eagle visits the lion.
((("bald eagle" "is" "big" "+")) -> ("bald eagle" "visits" "lion" "+"))
The lion chases the cow.
True
1
proof
[(triple7)]
("lion" "chases" "cow" "+")
triple7
The cow does not chase the bald eagle.
False
1
inv-proof
[(triple2)]
("cow" "chases" "bald eagle" "-")
triple2
The bald eagle does not visit the lion.
Unknown
inv-rconc
[@1: The bald eagle visits the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "visits" "lion" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle is rough.[(triple1)] The cow chases the bald eagle.[(triple2)] The cow is cold.[(triple3)] The cow is round.[(triple4)] The cow visits the lion.[(triple5)] The lion chases the bald eagle.[(triple6)] The lion chases the cow.[(triple7)]
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple1
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The cow visits the lion.
("cow" "visits" "lion" "+")
triple5
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple6
The lion chases the cow.
("lion" "chases" "cow" "+")
triple7