The lion chases the squirrel. The lion eats the squirrel. The lion is blue. The lion is green. The lion is young. The lion needs the squirrel. The squirrel eats the tiger. The squirrel is young. The squirrel needs the lion. The squirrel needs the tiger. The tiger chases the squirrel. The tiger eats the lion. The tiger eats the squirrel. The tiger needs the lion. The tiger needs the squirrel. If someone chases the tiger and they eat the tiger then the tiger eats the lion. If someone needs the squirrel and they eat the lion then they are green.
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is green.
("lion" "is" "green" "+")
The lion is young.
("lion" "is" "young" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
The squirrel is young.
("squirrel" "is" "young" "+")
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If someone chases the tiger and they eat the tiger then the tiger eats the lion.
((("someone" "chases" "tiger" "+") ("someone" "eats" "tiger" "+")) -> ("tiger" "eats" "lion" "+"))
If someone needs the squirrel and they eat the lion then they are green.
((("someone" "needs" "squirrel" "+") ("someone" "eats" "lion" "+")) -> ("someone" "is" "green" "+"))
The tiger eats the squirrel.
True
1
proof
[(triple13)]
("tiger" "eats" "squirrel" "+")
triple13
The tiger does not need the lion.
False
1
inv-proof
[(triple14)]
("tiger" "needs" "lion" "-")
triple14
The tiger is green.
True
3
proof
[(((triple15 triple12) -> rule2))]
("tiger" "is" "green" "+")
((triple15 triple12) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The tiger is not green.
False
3
inv-proof
[(((triple15 triple12) -> rule2))]
("tiger" "is" "green" "-")
((triple15 triple12) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1
The squirrel is not green.
Unknown
inv-rconc
[@1: The squirrel is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "is" "green" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
The squirrel does not need the squirrel.
Unknown
inv-random
[@0: The squirrel needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "needs" "squirrel" "-")
The squirrel chases the lion.
Unknown
random
[@0: The squirrel chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "lion" "+")
@0: The lion chases the squirrel.[(triple1)] The lion eats the squirrel.[(triple2)] The lion is blue.[(triple3)] The lion is green.[(triple4)] The lion is young.[(triple5)] The lion needs the squirrel.[(triple6)] The squirrel eats the tiger.[(triple7)] The squirrel is young.[(triple8)] The squirrel needs the lion.[(triple9)] The squirrel needs the tiger.[(triple10)] The tiger chases the squirrel.[(triple11)] The tiger eats the lion.[(triple12)] The tiger eats the squirrel.[(triple13)] The tiger needs the lion.[(triple14)] The tiger needs the squirrel.[(triple15)] @1: The tiger is green.[(((triple15 triple12) -> rule2))]
The lion chases the squirrel.
("lion" "chases" "squirrel" "+")
triple1
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion is green.
("lion" "is" "green" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple6
The squirrel eats the tiger.
("squirrel" "eats" "tiger" "+")
triple7
The squirrel is young.
("squirrel" "is" "young" "+")
triple8
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
triple9
The squirrel needs the tiger.
("squirrel" "needs" "tiger" "+")
triple10
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple11
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple12
The tiger eats the squirrel.
("tiger" "eats" "squirrel" "+")
triple13
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple14
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple15
The tiger is green.
("tiger" "is" "green" "+")
((triple15 triple12) -> (rule2 % int1))
The tiger is green.
("tiger" "is" "green" "+")
int1