The bear chases the lion. The bear chases the tiger. The bear eats the lion. The bear does not eat the tiger. The bear is not cold. The bear is rough. The bear likes the lion. The bear likes the tiger. The lion chases the bear. The lion is not rough. The lion likes the tiger. The tiger is nice. If something likes the tiger and it does not eat the tiger then the tiger does not eat the lion.
The bear chases the lion.
("bear" "chases" "lion" "+")
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the lion.
("bear" "eats" "lion" "+")
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is not rough.
("lion" "is" "rough" "-")
The lion likes the tiger.
("lion" "likes" "tiger" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
If something likes the tiger and it does not eat the tiger then the tiger does not eat the lion.
((("something" "likes" "tiger" "+") ("something" "eats" "tiger" "~")) -> ("tiger" "eats" "lion" "-"))
The bear is rough.
True
1
proof
[(triple6)]
("bear" "is" "rough" "+")
triple6
The bear eats the tiger.
False
1
inv-proof
[(triple4)]
("bear" "eats" "tiger" "+")
triple4
The tiger does not eat the lion.
True
3
proof
[(((triple8 triple4) -> rule1))]
("tiger" "eats" "lion" "-")
((triple8 triple4) -> (rule1 % int1))
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
int1
The tiger eats the lion.
False
3
inv-proof
[(((triple8 triple4) -> rule1))]
("tiger" "eats" "lion" "+")
((triple8 triple4) -> (rule1 % int1))
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
int1
The tiger does not like the tiger.
Unknown
inv-random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The lion likes the lion.
Unknown
random
[@0: The lion likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "lion" "+")
@0: The bear chases the lion.[(triple1)] The bear chases the tiger.[(triple2)] The bear does not eat the tiger.[(triple4)] The bear eats the lion.[(triple3)] The bear is not cold.[(triple5)] The bear is rough.[(triple6)] The bear likes the lion.[(triple7)] The bear likes the tiger.[(triple8)] The lion chases the bear.[(triple9)] The lion is not rough.[(triple10)] The lion likes the tiger.[(triple11)] The tiger is nice.[(triple12)] @1: The tiger does not eat the lion.[(((triple8 triple4) -> rule1))]
The bear chases the lion.
("bear" "chases" "lion" "+")
triple1
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple2
The bear does not eat the tiger.
("bear" "eats" "tiger" "-")
triple4
The bear eats the lion.
("bear" "eats" "lion" "+")
triple3
The bear is not cold.
("bear" "is" "cold" "-")
triple5
The bear is rough.
("bear" "is" "rough" "+")
triple6
The bear likes the lion.
("bear" "likes" "lion" "+")
triple7
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple8
The lion chases the bear.
("lion" "chases" "bear" "+")
triple9
The lion is not rough.
("lion" "is" "rough" "-")
triple10
The lion likes the tiger.
("lion" "likes" "tiger" "+")
triple11
The tiger is nice.
("tiger" "is" "nice" "+")
triple12
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
((triple8 triple4) -> (rule1 % int1))
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
int1