The cat eats the lion. The cat is round. The lion needs the squirrel. The rabbit chases the cat. The rabbit chases the lion. The rabbit eats the cat. The rabbit is kind. The rabbit is round. The rabbit needs the cat. The squirrel eats the rabbit. The squirrel is big. The squirrel needs the cat. If someone chases the rabbit and they eat the lion then the lion chases the cat.
The cat eats the lion.
("cat" "eats" "lion" "+")
The cat is round.
("cat" "is" "round" "+")
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
If someone chases the rabbit and they eat the lion then the lion chases the cat.
((("someone" "chases" "rabbit" "+") ("someone" "eats" "lion" "+")) -> ("lion" "chases" "cat" "+"))
The cat eats the lion.
True
1
proof
[(triple1)]
("cat" "eats" "lion" "+")
triple1
The rabbit does not need the cat.
False
1
inv-proof
[(triple9)]
("rabbit" "needs" "cat" "-")
triple9
The lion does not chase the cat.
Unknown
inv-rconc
[@1: The lion chases the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "chases" "cat" "-")
The rabbit eats the squirrel.
Unknown
random
[@0: The rabbit eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "squirrel" "+")
@0: The cat eats the lion.[(triple1)] The cat is round.[(triple2)] The lion needs the squirrel.[(triple3)] The rabbit chases the cat.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit eats the cat.[(triple6)] The rabbit is kind.[(triple7)] The rabbit is round.[(triple8)] The rabbit needs the cat.[(triple9)] The squirrel eats the rabbit.[(triple10)] The squirrel is big.[(triple11)] The squirrel needs the cat.[(triple12)]
The cat eats the lion.
("cat" "eats" "lion" "+")
triple1
The cat is round.
("cat" "is" "round" "+")
triple2
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
triple3
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple4
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple5
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple6
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit needs the cat.
("rabbit" "needs" "cat" "+")
triple9
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple10
The squirrel is big.
("squirrel" "is" "big" "+")
triple11
The squirrel needs the cat.
("squirrel" "needs" "cat" "+")
triple12