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