The bear chases the tiger. The bear eats the tiger. The bear is not blue. The bear is cold. The bear is green. The bear is kind. The bear is round. The bear likes the tiger. The tiger chases the bear. The tiger eats the bear. The tiger is blue. The tiger is not cold. The tiger is green. The tiger is not kind. The tiger is round. The tiger does not like the bear. If someone likes the bear then the bear likes the tiger. If the bear is cold then the bear likes the tiger. If someone likes the tiger then the tiger eats the bear. If the tiger is kind then the tiger is green. If the tiger likes the bear then the bear is green. If the bear chases the tiger and the bear is not green then the bear eats the tiger.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear is not blue.
("bear" "is" "blue" "-")
The bear is cold.
("bear" "is" "cold" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is round.
("bear" "is" "round" "+")
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 blue.
("tiger" "is" "blue" "+")
The tiger is not cold.
("tiger" "is" "cold" "-")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is not kind.
("tiger" "is" "kind" "-")
The tiger is round.
("tiger" "is" "round" "+")
The tiger does not like the bear.
("tiger" "likes" "bear" "-")
If someone likes the bear then the bear likes the tiger.
((("someone" "likes" "bear" "+")) -> ("bear" "likes" "tiger" "+"))
If the bear is cold then the bear likes the tiger.
((("bear" "is" "cold" "+")) -> ("bear" "likes" "tiger" "+"))
If someone likes the tiger then the tiger eats the bear.
((("someone" "likes" "tiger" "+")) -> ("tiger" "eats" "bear" "+"))
If the tiger is kind then the tiger is green.
((("tiger" "is" "kind" "+")) -> ("tiger" "is" "green" "+"))
If the tiger likes the bear then the bear is green.
((("tiger" "likes" "bear" "+")) -> ("bear" "is" "green" "+"))
If the bear chases the tiger and the bear is not green then the bear eats the tiger.
((("bear" "chases" "tiger" "+") ("bear" "is" "green" "~")) -> ("bear" "eats" "tiger" "+"))
The tiger is not kind.
True
1
proof
[(triple14)]
("tiger" "is" "kind" "-")
triple14
The bear does not chase the tiger.
False
1
inv-proof
[(triple1)]
("bear" "chases" "tiger" "-")
triple1
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 bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
@0: The bear chases the tiger.[(triple1)] The bear eats the tiger.[(triple2)] The bear is cold.[(triple4)] The bear is green.[(triple5)] The bear is kind.[(triple6)] The bear is not blue.[(triple3)] The bear is round.[(triple7)] The bear likes the tiger.[(triple8 OR ((triple4) -> rule2))] The tiger chases the bear.[(triple9)] The tiger does not like the bear.[(triple16)] The tiger eats the bear.[(triple10 OR ((triple8) -> rule3) OR ((((triple4) -> rule2)) -> rule3))] The tiger is blue.[(triple11)] The tiger is green.[(triple13)] The tiger is not cold.[(triple12)] The tiger is not kind.[(triple14)] The tiger is round.[(triple15)]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple2
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is green.
("bear" "is" "green" "+")
triple5
The bear is kind.
("bear" "is" "kind" "+")
triple6
The bear is not blue.
("bear" "is" "blue" "-")
triple3
The bear is round.
("bear" "is" "round" "+")
triple7
The bear likes the tiger.
("bear" "likes" "tiger" "+")
triple8
((triple4) -> (rule2 % int1))
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int1
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple9
The tiger does not like the bear.
("tiger" "likes" "bear" "-")
triple16
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple10
((triple8) -> (rule3 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
((((triple4) -> (rule2 % int2))) -> (rule3 % int1))
The tiger eats the bear.
("tiger" "eats" "bear" "+")
int1
The bear likes the tiger.
("bear" "likes" "tiger" "+")
int2
The tiger is blue.
("tiger" "is" "blue" "+")
triple11
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is not cold.
("tiger" "is" "cold" "-")
triple12
The tiger is not kind.
("tiger" "is" "kind" "-")
triple14
The tiger is round.
("tiger" "is" "round" "+")
triple15