The lion chases the rabbit. The lion is round. The lion does not need the rabbit. The rabbit chases the lion. The rabbit is blue. The rabbit is green. The rabbit is not rough. The rabbit is round. The rabbit does not need the lion. The rabbit visits the lion. If the lion is young then the lion is round. If something needs the lion and it visits the lion then it chases the lion. If something chases the lion and it needs the rabbit then the lion visits the rabbit. If the lion visits the rabbit then the lion does not chase the rabbit. If something is blue and it does not chase the lion then the lion does not need the rabbit. If something visits the rabbit and the rabbit visits the lion then the rabbit is not young.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion is round.
("lion" "is" "round" "+")
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If the lion is young then the lion is round.
((("lion" "is" "young" "+")) -> ("lion" "is" "round" "+"))
If something needs the lion and it visits the lion then it chases the lion.
((("something" "needs" "lion" "+") ("something" "visits" "lion" "+")) -> ("something" "chases" "lion" "+"))
If something chases the lion and it needs the rabbit then the lion visits the rabbit.
((("something" "chases" "lion" "+") ("something" "needs" "rabbit" "+")) -> ("lion" "visits" "rabbit" "+"))
If the lion visits the rabbit then the lion does not chase the rabbit.
((("lion" "visits" "rabbit" "+")) -> ("lion" "chases" "rabbit" "-"))
If something is blue and it does not chase the lion then the lion does not need the rabbit.
((("something" "is" "blue" "+") ("something" "chases" "lion" "~")) -> ("lion" "needs" "rabbit" "-"))
If something visits the rabbit and the rabbit visits the lion then the rabbit is not young.
((("something" "visits" "rabbit" "+") ("rabbit" "visits" "lion" "+")) -> ("rabbit" "is" "young" "-"))
The rabbit chases the lion.
True
1
proof
[(triple4)]
("rabbit" "chases" "lion" "+")
triple4
The lion does not chase the rabbit.
False
1
inv-proof
[(triple1)]
("lion" "chases" "rabbit" "-")
triple1
The lion does not chase the lion.
Unknown
inv-rconc
[@1: The lion chases the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "chases" "lion" "-")
The lion is blue.
Unknown
random
[@0: The lion is blue.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "blue" "+")
@0: The lion chases the rabbit.[(triple1)] The lion does not need the rabbit.[(triple3)] The lion is round.[(triple2)] The rabbit chases the lion.[(triple4)] The rabbit does not need the lion.[(triple9)] The rabbit is blue.[(triple5)] The rabbit is green.[(triple6)] The rabbit is not rough.[(triple7)] The rabbit is round.[(triple8)] The rabbit visits the lion.[(triple10)]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
triple3
The lion is round.
("lion" "is" "round" "+")
triple2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple4
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The rabbit is green.
("rabbit" "is" "green" "+")
triple6
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple10