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