The cow visits the rabbit. The lion chases the cow. The lion is green. The lion visits the rabbit. The rabbit is green. The tiger visits the cow. The tiger visits the rabbit. If someone likes the cow and they are red then the cow visits the lion. If the tiger chases the rabbit then the tiger visits the rabbit. If someone likes the cow and the cow visits the rabbit then they visit the tiger.
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is green.
("lion" "is" "green" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
If someone likes the cow and they are red then the cow visits the lion.
((("someone" "likes" "cow" "+") ("someone" "is" "red" "+")) -> ("cow" "visits" "lion" "+"))
If the tiger chases the rabbit then the tiger visits the rabbit.
((("tiger" "chases" "rabbit" "+")) -> ("tiger" "visits" "rabbit" "+"))
If someone likes the cow and the cow visits the rabbit then they visit the tiger.
((("someone" "likes" "cow" "+") ("cow" "visits" "rabbit" "+")) -> ("someone" "visits" "tiger" "+"))
The lion visits the rabbit.
True
1
proof
[(triple4)]
("lion" "visits" "rabbit" "+")
triple4
The lion does not visit the rabbit.
False
1
inv-proof
[(triple4)]
("lion" "visits" "rabbit" "-")
triple4
The cow does not visit the tiger.
Unknown
inv-rconc
[@1: The cow visits the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "visits" "tiger" "-")
The cow likes the lion.
Unknown
random
[@0: The cow likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "lion" "+")
@0: The cow visits the rabbit.[(triple1)] The lion chases the cow.[(triple2)] The lion is green.[(triple3)] The lion visits the rabbit.[(triple4)] The rabbit is green.[(triple5)] The tiger visits the cow.[(triple6)] The tiger visits the rabbit.[(triple7)]
The cow visits the rabbit.
("cow" "visits" "rabbit" "+")
triple1
The lion chases the cow.
("lion" "chases" "cow" "+")
triple2
The lion is green.
("lion" "is" "green" "+")
triple3
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple4
The rabbit is green.
("rabbit" "is" "green" "+")
triple5
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple6
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple7