The bear eats the tiger. The bear is young. The bear needs the tiger. The bear does not see the tiger. The tiger eats the bear. The tiger is blue. The tiger is nice. The tiger is red. The tiger is young. The tiger sees the bear. If something is young then it needs the tiger.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger sees the bear.
("tiger" "sees" "bear" "+")
If something is young then it needs the tiger.
((("something" "is" "young" "+")) -> ("something" "needs" "tiger" "+"))
The tiger is blue.
True
1
proof
[(triple6)]
("tiger" "is" "blue" "+")
triple6
The bear is not young.
False
1
inv-proof
[(triple2)]
("bear" "is" "young" "-")
triple2
The tiger needs the tiger.
True
2
proof
[(((triple9) -> rule1))]
("tiger" "needs" "tiger" "+")
((triple9) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger does not need the tiger.
False
2
inv-proof
[(((triple9) -> rule1))]
("tiger" "needs" "tiger" "-")
((triple9) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The bear is not rough.
Unknown
inv-random
[@0: The bear is rough.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "rough" "-")
The tiger needs the bear.
Unknown
random
[@0: The tiger needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bear" "+")
@0: The bear does not see the tiger.[(triple4)] The bear eats the tiger.[(triple1)] The bear is young.[(triple2)] The bear needs the tiger.[(triple3 OR ((triple2) -> rule1))] The tiger eats the bear.[(triple5)] The tiger is blue.[(triple6)] The tiger is nice.[(triple7)] The tiger is red.[(triple8)] The tiger is young.[(triple9)] The tiger sees the bear.[(triple10)] @1: The tiger needs the tiger.[(((triple9) -> rule1))]
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
triple4
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is young.
("bear" "is" "young" "+")
triple2
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple3
((triple2) -> (rule1 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple5
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The tiger is nice.
("tiger" "is" "nice" "+")
triple7
The tiger is red.
("tiger" "is" "red" "+")
triple8
The tiger is young.
("tiger" "is" "young" "+")
triple9
The tiger sees the bear.
("tiger" "sees" "bear" "+")
triple10
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple9) -> (rule1 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1