The lion is rough. The tiger sees the lion. The tiger visits the lion. If someone visits the tiger then they eat the tiger. If someone visits the tiger and the tiger is big then they visit the lion. If someone visits the lion and they visit the tiger then the tiger visits the lion. If someone is big then they eat the tiger. If someone sees the tiger then the tiger eats the lion. If someone is young and they visit the tiger then the tiger sees the lion.
The lion is rough.
("lion" "is" "rough" "+")
The tiger sees the lion.
("tiger" "sees" "lion" "+")
The tiger visits the lion.
("tiger" "visits" "lion" "+")
If someone visits the tiger then they eat the tiger.
((("someone" "visits" "tiger" "+")) -> ("someone" "eats" "tiger" "+"))
If someone visits the tiger and the tiger is big then they visit the lion.
((("someone" "visits" "tiger" "+") ("tiger" "is" "big" "+")) -> ("someone" "visits" "lion" "+"))
If someone visits the lion and they visit the tiger then the tiger visits the lion.
((("someone" "visits" "lion" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "visits" "lion" "+"))
If someone is big then they eat the tiger.
((("someone" "is" "big" "+")) -> ("someone" "eats" "tiger" "+"))
If someone sees the tiger then the tiger eats the lion.
((("someone" "sees" "tiger" "+")) -> ("tiger" "eats" "lion" "+"))
If someone is young and they visit the tiger then the tiger sees the lion.
((("someone" "is" "young" "+") ("someone" "visits" "tiger" "+")) -> ("tiger" "sees" "lion" "+"))
The lion is rough.
True
1
proof
[(triple1)]
("lion" "is" "rough" "+")
triple1
The tiger does not see the lion.
False
1
inv-proof
[(triple2)]
("tiger" "sees" "lion" "-")
triple2
The tiger does not eat the tiger.
Unknown
inv-rconc
[@1: The tiger eats the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "tiger" "-")
The lion visits the tiger.
Unknown
random
[@0: The lion visits the tiger.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "tiger" "+")
@0: The lion is rough.[(triple1)] The tiger sees the lion.[(triple2)] The tiger visits the lion.[(triple3)]
The lion is rough.
("lion" "is" "rough" "+")
triple1
The tiger sees the lion.
("tiger" "sees" "lion" "+")
triple2
The tiger visits the lion.
("tiger" "visits" "lion" "+")
triple3