The bear chases the lion. The bear does not eat the lion. The bear is cold. The bear is not young. The bear does not like the lion. The lion eats the bear. The lion is blue. The lion is not cold. The lion is young. The lion does not like the bear. If the lion chases the bear then the bear chases the lion. If something chases the bear then the bear chases the lion. If something likes the lion and it chases the bear then it eats the lion. If the lion chases the bear and the bear eats the lion then the lion is young. If something is round then it does not chase the bear. If the bear chases the lion and the lion eats the bear then the lion chases the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear does not eat the lion.
("bear" "eats" "lion" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is not young.
("bear" "is" "young" "-")
The bear does not like the lion.
("bear" "likes" "lion" "-")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is young.
("lion" "is" "young" "+")
The lion does not like the bear.
("lion" "likes" "bear" "-")
If the lion chases the bear then the bear chases the lion.
((("lion" "chases" "bear" "+")) -> ("bear" "chases" "lion" "+"))
If something chases the bear then the bear chases the lion.
((("something" "chases" "bear" "+")) -> ("bear" "chases" "lion" "+"))
If something likes the lion and it chases the bear then it eats the lion.
((("something" "likes" "lion" "+") ("something" "chases" "bear" "+")) -> ("something" "eats" "lion" "+"))
If the lion chases the bear and the bear eats the lion then the lion is young.
((("lion" "chases" "bear" "+") ("bear" "eats" "lion" "+")) -> ("lion" "is" "young" "+"))
If something is round then it does not chase the bear.
((("something" "is" "round" "+")) -> ("something" "chases" "bear" "-"))
If the bear chases the lion and the lion eats the bear then the lion chases the bear.
((("bear" "chases" "lion" "+") ("lion" "eats" "bear" "+")) -> ("lion" "chases" "bear" "+"))
The bear does not like the lion.
True
1
proof
[(triple5)]
("bear" "likes" "lion" "-")
triple5
The bear likes the lion.
False
1
inv-proof
[(triple5)]
("bear" "likes" "lion" "+")
triple5
The lion chases the bear.
True
3
proof
[(((triple1 triple6) -> rule6))]
("lion" "chases" "bear" "+")
((triple1 triple6) -> (rule6 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion does not chase the bear.
False
3
inv-proof
[(((triple1 triple6) -> rule6))]
("lion" "chases" "bear" "-")
((triple1 triple6) -> (rule6 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "eats" "lion" "-")
The bear chases the bear.
Unknown
random
[@0: The bear chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "bear" "+")
The bear is not blue.
Unknown
inv-random
[@0: The bear is blue.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "blue" "-")
The bear is round.
Unknown
random
[@0: The bear is round.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "round" "+")
@0: The bear chases the lion.[(triple1)] The bear does not eat the lion.[(triple2)] The bear does not like the lion.[(triple5)] The bear is cold.[(triple3)] The bear is not young.[(triple4)] The lion does not like the bear.[(triple10)] The lion eats the bear.[(triple6)] The lion is blue.[(triple7)] The lion is not cold.[(triple8)] The lion is young.[(triple9)] @1: The lion chases the bear.[(((triple1 triple6) -> rule6))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear does not eat the lion.
("bear" "eats" "lion" "-")
triple2
The bear does not like the lion.
("bear" "likes" "lion" "-")
triple5
The bear is cold.
("bear" "is" "cold" "+")
triple3
The bear is not young.
("bear" "is" "young" "-")
triple4
The lion does not like the bear.
("lion" "likes" "bear" "-")
triple10
The lion eats the bear.
("lion" "eats" "bear" "+")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is not cold.
("lion" "is" "cold" "-")
triple8
The lion is young.
("lion" "is" "young" "+")
triple9
The lion chases the bear.
("lion" "chases" "bear" "+")
((triple1 triple6) -> (rule6 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1