The bear eats the tiger. The bear is cold. The bear is not round. The bear likes the lion. The bear likes the tiger. The bear sees the tiger. The lion eats the bear. The lion is round. The lion sees the bear. The tiger eats the lion. The tiger is big. The tiger is cold. The tiger is not round. The tiger likes the bear. The tiger does not see the bear. The tiger sees the lion. If someone likes the lion and they are not cold then they see the bear. If the bear eats the tiger and the bear is blue then the tiger eats the bear. If someone eats the tiger then the tiger does not like the lion.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is not round.
("bear" "is" "round" "-")
The bear likes the lion.
("bear" "likes" "lion" "+")
The bear likes the tiger.
("bear" "likes" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The lion eats the bear.
("lion" "eats" "bear" "+")
The lion is round.
("lion" "is" "round" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger is not round.
("tiger" "is" "round" "-")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
If someone likes the lion and they are not cold then they see the bear.
((("someone" "likes" "lion" "+") ("someone" "is" "cold" "~")) -> ("someone" "sees" "bear" "+"))
If the bear eats the tiger and the bear is blue then the tiger eats the bear.
((("bear" "eats" "tiger" "+") ("bear" "is" "blue" "+")) -> ("tiger" "eats" "bear" "+"))
If someone eats the tiger then the tiger does not like the lion.
((("someone" "eats" "tiger" "+")) -> ("tiger" "likes" "lion" "-"))
The tiger eats the lion.
True
1
proof
[(triple10)]
("tiger" "eats" "lion" "+")
triple10
The lion does not eat the bear.
False
1
inv-proof
[(triple7)]
("lion" "eats" "bear" "-")
triple7
The tiger does not like the lion.
True
2
proof
[(((triple1) -> rule3))]
("tiger" "likes" "lion" "-")
((triple1) -> (rule3 % int1))
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
int1
The tiger likes the lion.
False
2
inv-proof
[(((triple1) -> rule3))]
("tiger" "likes" "lion" "+")
((triple1) -> (rule3 % int1))
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
int1
The tiger does not eat the bear.
Unknown
inv-rconc
[@1: The tiger eats the bear.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "eats" "bear" "-")
The bear sees the bear.
Unknown
rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "sees" "bear" "+")
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 tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
@0: The bear eats the tiger.[(triple1)] The bear is cold.[(triple2)] The bear is not round.[(triple3)] The bear likes the lion.[(triple4)] The bear likes the tiger.[(triple5)] The bear sees the tiger.[(triple6)] The lion eats the bear.[(triple7)] The lion is round.[(triple8)] The lion sees the bear.[(triple9)] The tiger does not see the bear.[(triple15)] The tiger eats the lion.[(triple10)] The tiger is big.[(triple11)] The tiger is cold.[(triple12)] The tiger is not round.[(triple13)] The tiger likes the bear.[(triple14)] The tiger sees the lion.[(triple16)] @1: The tiger does not like the lion.[(((triple1) -> rule3))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
The bear is not round.
("bear" "is" "round" "-")
triple3
The bear likes the lion.
("bear" "likes" "lion" "+")
triple4
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple5
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The lion eats the bear.
("lion" "eats" "bear" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
triple8
The lion sees the bear.
("lion" "sees" "bear" "+")
triple9
The tiger does not see the bear.
("tiger" "sees" "bear" "-")
triple15
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger is not round.
("tiger" "is" "round" "-")
triple13
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple14
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple16
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
((triple1) -> (rule3 % int1))
The tiger does not like the lion.
("tiger" "likes" "lion" "-")
int1