The bear chases the cow. The cow does not chase the bear. The cow eats the bear. The cow is not nice. The cow needs the bear. The cow needs the lion. The lion chases the bear. The lion eats the bear. The lion is green. The lion needs the bear. If someone needs the lion then the lion is not round. If the cow chases the lion and the lion eats the cow then the cow needs the lion. If someone eats the bear and the bear eats the lion then the bear chases the lion. If someone is cold then they chase the cow. If someone eats the cow and the cow does not chase the bear then they need the bear. If the cow eats the lion and the cow does not need the lion then the cow is round.
The bear chases the cow.
("bear" "chases" "cow" "+")
The cow does not chase the bear.
("cow" "chases" "bear" "-")
The cow eats the bear.
("cow" "eats" "bear" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow needs the bear.
("cow" "needs" "bear" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is green.
("lion" "is" "green" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If someone needs the lion then the lion is not round.
((("someone" "needs" "lion" "+")) -> ("lion" "is" "round" "-"))
If the cow chases the lion and the lion eats the cow then the cow needs the lion.
((("cow" "chases" "lion" "+") ("lion" "eats" "cow" "+")) -> ("cow" "needs" "lion" "+"))
If someone eats the bear and the bear eats the lion then the bear chases the lion.
((("someone" "eats" "bear" "+") ("bear" "eats" "lion" "+")) -> ("bear" "chases" "lion" "+"))
If someone is cold then they chase the cow.
((("someone" "is" "cold" "+")) -> ("someone" "chases" "cow" "+"))
If someone eats the cow and the cow does not chase the bear then they need the bear.
((("someone" "eats" "cow" "+") ("cow" "chases" "bear" "~")) -> ("someone" "needs" "bear" "+"))
If the cow eats the lion and the cow does not need the lion then the cow is round.
((("cow" "eats" "lion" "+") ("cow" "needs" "lion" "~")) -> ("cow" "is" "round" "+"))
The bear chases the cow.
True
1
proof
[(triple1)]
("bear" "chases" "cow" "+")
triple1
The lion does not eat the bear.
False
1
inv-proof
[(triple8)]
("lion" "eats" "bear" "-")
triple8
The lion is not round.
True
2
proof
[(((triple6) -> rule1))]
("lion" "is" "round" "-")
((triple6) -> (rule1 % int1))
The lion is not round.
("lion" "is" "round" "-")
int1
The lion is round.
False
2
inv-proof
[(((triple6) -> rule1))]
("lion" "is" "round" "+")
((triple6) -> (rule1 % int1))
The lion is not round.
("lion" "is" "round" "-")
int1
The lion does not chase the cow.
Unknown
inv-rconc
[@1: The lion chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "chases" "cow" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "cow" "+")
The bear is not nice.
Unknown
inv-random
[@0: The bear is nice.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "nice" "-")
The lion eats the cow.
Unknown
random
[@0: The lion eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "cow" "+")
@0: The bear chases the cow.[(triple1)] The cow does not chase the bear.[(triple2)] The cow eats the bear.[(triple3)] The cow is not nice.[(triple4)] The cow needs the bear.[(triple5)] The cow needs the lion.[(triple6)] The lion chases the bear.[(triple7)] The lion eats the bear.[(triple8)] The lion is green.[(triple9)] The lion needs the bear.[(triple10)] @1: The lion is not round.[(((triple6) -> rule1))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The cow does not chase the bear.
("cow" "chases" "bear" "-")
triple2
The cow eats the bear.
("cow" "eats" "bear" "+")
triple3
The cow is not nice.
("cow" "is" "nice" "-")
triple4
The cow needs the bear.
("cow" "needs" "bear" "+")
triple5
The cow needs the lion.
("cow" "needs" "lion" "+")
triple6
The lion chases the bear.
("lion" "chases" "bear" "+")
triple7
The lion eats the bear.
("lion" "eats" "bear" "+")
triple8
The lion is green.
("lion" "is" "green" "+")
triple9
The lion needs the bear.
("lion" "needs" "bear" "+")
triple10
The lion is not round.
("lion" "is" "round" "-")
((triple6) -> (rule1 % int1))
The lion is not round.
("lion" "is" "round" "-")
int1