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