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