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