The bald eagle chases the cow. The bald eagle chases the lion. The bald eagle sees the lion. The cow chases the bald eagle. The cow sees the lion. The lion sees the bald eagle. The lion sees the cow. If something is nice and it likes the lion then it chases the cow.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
The cow sees the lion.
("cow" "sees" "lion" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the cow.
("lion" "sees" "cow" "+")
If something is nice and it likes the lion then it chases the cow.
((("something" "is" "nice" "+") ("something" "likes" "lion" "+")) -> ("something" "chases" "cow" "+"))
The lion sees the cow.
True
1
proof
[(triple7)]
("lion" "sees" "cow" "+")
triple7
The bald eagle does not see the lion.
False
1
inv-proof
[(triple3)]
("bald eagle" "sees" "lion" "-")
triple3
The cow does not chase the cow.
Unknown
inv-rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "chases" "cow" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle chases the lion.[(triple2)] The bald eagle sees the lion.[(triple3)] The cow chases the bald eagle.[(triple4)] The cow sees the lion.[(triple5)] The lion sees the bald eagle.[(triple6)] The lion sees the cow.[(triple7)]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple2
The bald eagle sees the lion.
("bald eagle" "sees" "lion" "+")
triple3
The cow chases the bald eagle.
("cow" "chases" "bald eagle" "+")
triple4
The cow sees the lion.
("cow" "sees" "lion" "+")
triple5
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple6
The lion sees the cow.
("lion" "sees" "cow" "+")
triple7