The cat eats the lion. The cat is nice. The cat needs the squirrel. The cat visits the lion. The cat visits the squirrel. The lion is red. The rabbit eats the lion. The rabbit is young. The squirrel is not blue. The squirrel visits the rabbit. If the rabbit visits the lion and the rabbit is nice then the rabbit does not visit the cat. If someone needs the rabbit then they eat the squirrel. If someone visits the squirrel then they do not visit the rabbit. If someone eats the lion and the lion needs the rabbit then the lion is nice. If someone visits the squirrel then the squirrel eats the cat. If someone needs the cat then the cat needs the lion.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
The lion is red.
("lion" "is" "red" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
If the rabbit visits the lion and the rabbit is nice then the rabbit does not visit the cat.
((("rabbit" "visits" "lion" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "visits" "cat" "-"))
If someone needs the rabbit then they eat the squirrel.
((("someone" "needs" "rabbit" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone visits the squirrel then they do not visit the rabbit.
((("someone" "visits" "squirrel" "+")) -> ("someone" "visits" "rabbit" "-"))
If someone eats the lion and the lion needs the rabbit then the lion is nice.
((("someone" "eats" "lion" "+") ("lion" "needs" "rabbit" "+")) -> ("lion" "is" "nice" "+"))
If someone visits the squirrel then the squirrel eats the cat.
((("someone" "visits" "squirrel" "+")) -> ("squirrel" "eats" "cat" "+"))
If someone needs the cat then the cat needs the lion.
((("someone" "needs" "cat" "+")) -> ("cat" "needs" "lion" "+"))
The cat eats the lion.
True
1
proof
[(triple1)]
("cat" "eats" "lion" "+")
triple1
The lion is not red.
False
1
inv-proof
[(triple6)]
("lion" "is" "red" "-")
triple6
The cat does not visit the rabbit.
True
2
proof
[(((triple5) -> rule3))]
("cat" "visits" "rabbit" "-")
((triple5) -> (rule3 % int1))
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
int1
The squirrel does not eat the cat.
False
2
inv-proof
[(((triple5) -> rule5))]
("squirrel" "eats" "cat" "-")
((triple5) -> (rule5 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1
The squirrel does not eat the squirrel.
Unknown
inv-rconc
[@1: The squirrel eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("squirrel" "eats" "squirrel" "-")
The cat eats the squirrel.
Unknown
rconc
[@1: The cat eats the squirrel.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "squirrel" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The lion needs the lion.
Unknown
random
[@0: The lion needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "needs" "lion" "+")
@0: The cat eats the lion.[(triple1)] The cat is nice.[(triple2)] The cat needs the squirrel.[(triple3)] The cat visits the lion.[(triple4)] The cat visits the squirrel.[(triple5)] The lion is red.[(triple6)] The rabbit eats the lion.[(triple7)] The rabbit is young.[(triple8)] The squirrel is not blue.[(triple9)] The squirrel visits the rabbit.[(triple10)] @1: The cat does not visit the rabbit.[(((triple5) -> rule3))] The squirrel eats the cat.[(((triple5) -> rule5))]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple3
The cat visits the lion.
("cat" "visits" "lion" "+")
triple4
The cat visits the squirrel.
("cat" "visits" "squirrel" "+")
triple5
The lion is red.
("lion" "is" "red" "+")
triple6
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple7
The rabbit is young.
("rabbit" "is" "young" "+")
triple8
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple9
The squirrel visits the rabbit.
("squirrel" "visits" "rabbit" "+")
triple10
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
((triple5) -> (rule3 % int1))
The cat does not visit the rabbit.
("cat" "visits" "rabbit" "-")
int1
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
((triple5) -> (rule5 % int1))
The squirrel eats the cat.
("squirrel" "eats" "cat" "+")
int1