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