The bear is green. The bear is nice. The bear is young. The lion chases the bear. The lion is nice. The lion is red. The lion needs the tiger. The tiger chases the bear. The tiger chases the lion. The tiger eats the bear. The tiger eats the lion. The tiger is blue. The tiger is green. The tiger is nice. The tiger is young. If the tiger is nice and the tiger eats the lion then the lion chases the bear.
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The tiger chases the bear.
("tiger" "chases" "bear" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is young.
("tiger" "is" "young" "+")
If the tiger is nice and the tiger eats the lion then the lion chases the bear.
((("tiger" "is" "nice" "+") ("tiger" "eats" "lion" "+")) -> ("lion" "chases" "bear" "+"))
The lion is red.
True
1
proof
[(triple6)]
("lion" "is" "red" "+")
triple6
The bear is not green.
False
1
inv-proof
[(triple1)]
("bear" "is" "green" "-")
triple1
The tiger does not chase the tiger.
Unknown
inv-random
[@0: The tiger chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "tiger" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
@0: The bear is green.[(triple1)] The bear is nice.[(triple2)] The bear is young.[(triple3)] The lion chases the bear.[(triple4 OR ((triple14 triple11) -> rule1))] The lion is nice.[(triple5)] The lion is red.[(triple6)] The lion needs the tiger.[(triple7)] The tiger chases the bear.[(triple8)] The tiger chases the lion.[(triple9)] The tiger eats the bear.[(triple10)] The tiger eats the lion.[(triple11)] The tiger is blue.[(triple12)] The tiger is green.[(triple13)] The tiger is nice.[(triple14)] The tiger is young.[(triple15)]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The lion chases the bear.
("lion" "chases" "bear" "+")
triple4
((triple14 triple11) -> (rule1 % int1))
The lion chases the bear.
("lion" "chases" "bear" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple7
The tiger chases the bear.
("tiger" "chases" "bear" "+")
triple8
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple9
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple10
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple11
The tiger is blue.
("tiger" "is" "blue" "+")
triple12
The tiger is green.
("tiger" "is" "green" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger is young.
("tiger" "is" "young" "+")
triple15