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