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