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