The bear chases the lion. The bear is not cold. The bear is not kind. The bear is red. The bear is round. The bear is young. The bear does not like the lion. The bear needs the lion. The lion chases the bear. The lion is not cold. The lion is kind. The lion is round. The lion is young. The lion likes the bear. The lion needs the bear. If someone needs the bear and they chase the lion then the lion needs the bear. If someone needs the bear then they chase the lion. If someone likes the lion then the lion is not round. If someone chases the lion then the lion is not red. If someone chases the bear and they are cold then they are kind. If the bear does not need the lion then the lion is cold. If someone likes the bear then the bear is not kind. If someone needs the bear and they do not chase the lion then the lion likes the bear.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is not kind.
("bear" "is" "kind" "-")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not like the lion.
("bear" "likes" "lion" "-")
The bear needs the lion.
("bear" "needs" "lion" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is kind.
("lion" "is" "kind" "+")
The lion is round.
("lion" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the bear.
("lion" "likes" "bear" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
If someone needs the bear and they chase the lion then the lion needs the bear.
((("someone" "needs" "bear" "+") ("someone" "chases" "lion" "+")) -> ("lion" "needs" "bear" "+"))
If someone needs the bear then they chase the lion.
((("someone" "needs" "bear" "+")) -> ("someone" "chases" "lion" "+"))
If someone likes the lion then the lion is not round.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "round" "-"))
If someone chases the lion then the lion is not red.
((("someone" "chases" "lion" "+")) -> ("lion" "is" "red" "-"))
If someone chases the bear and they are cold then they are kind.
((("someone" "chases" "bear" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "kind" "+"))
If the bear does not need the lion then the lion is cold.
((("bear" "needs" "lion" "~")) -> ("lion" "is" "cold" "+"))
If someone likes the bear then the bear is not kind.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "kind" "-"))
If someone needs the bear and they do not chase the lion then the lion likes the bear.
((("someone" "needs" "bear" "+") ("someone" "chases" "lion" "~")) -> ("lion" "likes" "bear" "+"))
The bear chases the lion.
True
1
proof
[(triple1)]
("bear" "chases" "lion" "+")
triple1
The bear does not chase the lion.
False
1
inv-proof
[(triple1)]
("bear" "chases" "lion" "-")
triple1
The lion chases the lion.
True
2
proof
[(((triple15) -> rule2))]
("lion" "chases" "lion" "+")
((triple15) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is red.
False
2
inv-proof
[(((triple1) -> rule4) OR ((((triple15) -> rule2)) -> rule4))]
("lion" "is" "red" "+")
((triple1) -> (rule4 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1
((((triple15) -> (rule2 % int2))) -> (rule4 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
The lion does not need the lion.
Unknown
inv-random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear chases the lion.[(triple1)] The bear does not like the lion.[(triple7)] The bear is not cold.[(triple2)] The bear is not kind.[(triple3 OR ((triple14) -> rule7))] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear needs the lion.[(triple8)] The lion chases the bear.[(triple9)] The lion is kind.[(triple11)] The lion is not cold.[(triple10)] The lion is round.[(triple12)] The lion is young.[(triple13)] The lion likes the bear.[(triple14)] The lion needs the bear.[(triple15)] @1: The lion chases the lion.[(((triple15) -> rule2))] The lion is not red.[(((triple1) -> rule4) OR ((((triple15) -> rule2)) -> rule4))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear does not like the lion.
("bear" "likes" "lion" "-")
triple7
The bear is not cold.
("bear" "is" "cold" "-")
triple2
The bear is not kind.
("bear" "is" "kind" "-")
triple3
((triple14) -> (rule7 % int1))
The bear is not kind.
("bear" "is" "kind" "-")
int1
The bear is red.
("bear" "is" "red" "+")
triple4
The bear is round.
("bear" "is" "round" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear needs the lion.
("bear" "needs" "lion" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion is kind.
("lion" "is" "kind" "+")
triple11
The lion is not cold.
("lion" "is" "cold" "-")
triple10
The lion is round.
("lion" "is" "round" "+")
triple12
The lion is young.
("lion" "is" "young" "+")
triple13
The lion likes the bear.
("lion" "likes" "bear" "+")
triple14
The lion needs the bear.
("lion" "needs" "bear" "+")
triple15
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple15) -> (rule2 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion is not red.
("lion" "is" "red" "-")
((triple1) -> (rule4 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1
((((triple15) -> (rule2 % int2))) -> (rule4 % int1))
The lion is not red.
("lion" "is" "red" "-")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2