The bear eats the tiger. The bear is big. The bear is blue. The bear is nice. The bear is red. The bear is young. The bear needs the tiger. The bear sees the tiger. The tiger eats the bear. The tiger is blue. The tiger is young. The tiger does not need the bear. If someone needs the bear then they are not young. If someone eats the tiger and they are red then the tiger is not red. If the tiger eats the bear then the bear needs the tiger. If someone sees the bear and they are not nice then the bear does not see the tiger. If someone needs the tiger then they see the tiger. If someone eats the bear and the bear is nice then they are not big.
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is young.
("bear" "is" "young" "+")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
If someone needs the bear then they are not young.
((("someone" "needs" "bear" "+")) -> ("someone" "is" "young" "-"))
If someone eats the tiger and they are red then the tiger is not red.
((("someone" "eats" "tiger" "+") ("someone" "is" "red" "+")) -> ("tiger" "is" "red" "-"))
If the tiger eats the bear then the bear needs the tiger.
((("tiger" "eats" "bear" "+")) -> ("bear" "needs" "tiger" "+"))
If someone sees the bear and they are not nice then the bear does not see the tiger.
((("someone" "sees" "bear" "+") ("someone" "is" "nice" "~")) -> ("bear" "sees" "tiger" "-"))
If someone needs the tiger then they see the tiger.
((("someone" "needs" "tiger" "+")) -> ("someone" "sees" "tiger" "+"))
If someone eats the bear and the bear is nice then they are not big.
((("someone" "eats" "bear" "+") ("bear" "is" "nice" "+")) -> ("someone" "is" "big" "-"))
The bear needs the tiger.
True
1
proof
[(triple7 OR ((triple9) -> rule3))]
("bear" "needs" "tiger" "+")
triple7
((triple9) -> (rule3 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear does not eat the tiger.
False
1
inv-proof
[(triple1)]
("bear" "eats" "tiger" "-")
triple1
The tiger does not see the tiger.
Unknown
inv-rconc
[@1: The tiger sees the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger needs the tiger.
Unknown
random
[@0: The tiger needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "tiger" "+")
@0: The bear eats the tiger.[(triple1)] The bear is big.[(triple2)] The bear is blue.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is young.[(triple6)] The bear needs the tiger.[(triple7 OR ((triple9) -> rule3))] The bear sees the tiger.[(triple8 OR ((triple7) -> rule5) OR ((((triple9) -> rule3)) -> rule5))] The tiger does not need the bear.[(triple12)] The tiger eats the bear.[(triple9)] The tiger is blue.[(triple10)] The tiger is young.[(triple11)] @1: The tiger is not big.[(((triple9 triple4) -> rule6))] The tiger is not red.[(((triple1 triple5) -> rule2))]
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple1
The bear is big.
("bear" "is" "big" "+")
triple2
The bear is blue.
("bear" "is" "blue" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear is red.
("bear" "is" "red" "+")
triple5
The bear is young.
("bear" "is" "young" "+")
triple6
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple7
((triple9) -> (rule3 % int1))
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int1
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple8
((triple7) -> (rule5 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
((((triple9) -> (rule3 % int2))) -> (rule5 % int1))
The bear sees the tiger.
("bear" "sees" "tiger" "+")
int1
The bear needs the tiger.
("bear" "needs" "tiger" "+")
int2
The tiger does not need the bear.
("tiger" "needs" "bear" "-")
triple12
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger is young.
("tiger" "is" "young" "+")
triple11
The tiger is not big.
("tiger" "is" "big" "-")
((triple9 triple4) -> (rule6 % int1))
The tiger is not big.
("tiger" "is" "big" "-")
int1
The tiger is not red.
("tiger" "is" "red" "-")
((triple1 triple5) -> (rule2 % int1))
The tiger is not red.
("tiger" "is" "red" "-")
int1