The lion chases the tiger. The tiger eats the lion. The tiger needs the lion. If someone chases the tiger then they eat the lion. If someone is young and they need the tiger then they chase the tiger.
The lion chases the tiger.
("lion" "chases" "tiger" "+")
The tiger eats the lion.
("tiger" "eats" "lion" "+")
The tiger needs the lion.
("tiger" "needs" "lion" "+")
If someone chases the tiger then they eat the lion.
((("someone" "chases" "tiger" "+")) -> ("someone" "eats" "lion" "+"))
If someone is young and they need the tiger then they chase the tiger.
((("someone" "is" "young" "+") ("someone" "needs" "tiger" "+")) -> ("someone" "chases" "tiger" "+"))
The lion chases the tiger.
True
1
proof
[(triple1)]
("lion" "chases" "tiger" "+")
triple1
The tiger does not need the lion.
False
1
inv-proof
[(triple3)]
("tiger" "needs" "lion" "-")
triple3
The lion eats the lion.
True
2
proof
[(((triple1) -> rule1))]
("lion" "eats" "lion" "+")
((triple1) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion does not eat the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("lion" "eats" "lion" "-")
((triple1) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The tiger does not chase the tiger.
Unknown
inv-rconc
[@1: The tiger chases the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "chases" "tiger" "-")
The lion is green.
Unknown
random
[@0: The lion is green.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "green" "+")
The tiger is not nice.
Unknown
inv-random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The lion chases the tiger.[(triple1)] The tiger eats the lion.[(triple2)] The tiger needs the lion.[(triple3)] @1: The lion eats the lion.[(((triple1) -> rule1))]
The lion chases the tiger.
("lion" "chases" "tiger" "+")
triple1
The tiger eats the lion.
("tiger" "eats" "lion" "+")
triple2
The tiger needs the lion.
("tiger" "needs" "lion" "+")
triple3
The lion eats the lion.
("lion" "eats" "lion" "+")
((triple1) -> (rule1 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1