The lion does not eat the tiger. The lion needs the tiger. The rabbit chases the lion. The rabbit chases the tiger. The rabbit is nice. The tiger chases the lion. The tiger is rough. If something is nice then it eats the lion. If something eats the rabbit then it eats the lion. If something is cold and it does not need the rabbit then it is round. If something eats the lion and it is cold then the lion is not rough. If something chases the rabbit and it needs the lion then the rabbit is nice. If something chases the rabbit and it does not eat the lion then the rabbit eats the tiger.
The lion does not eat the tiger.
("lion" "eats" "tiger" "-")
The lion needs the tiger.
("lion" "needs" "tiger" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The tiger chases the lion.
("tiger" "chases" "lion" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
If something is nice then it eats the lion.
((("something" "is" "nice" "+")) -> ("something" "eats" "lion" "+"))
If something eats the rabbit then it eats the lion.
((("something" "eats" "rabbit" "+")) -> ("something" "eats" "lion" "+"))
If something is cold and it does not need the rabbit then it is round.
((("something" "is" "cold" "+") ("something" "needs" "rabbit" "~")) -> ("something" "is" "round" "+"))
If something eats the lion and it is cold then the lion is not rough.
((("something" "eats" "lion" "+") ("something" "is" "cold" "+")) -> ("lion" "is" "rough" "-"))
If something chases the rabbit and it needs the lion then the rabbit is nice.
((("something" "chases" "rabbit" "+") ("something" "needs" "lion" "+")) -> ("rabbit" "is" "nice" "+"))
If something chases the rabbit and it does not eat the lion then the rabbit eats the tiger.
((("something" "chases" "rabbit" "+") ("something" "eats" "lion" "~")) -> ("rabbit" "eats" "tiger" "+"))
The lion does not eat the tiger.
True
1
proof
[(triple1)]
("lion" "eats" "tiger" "-")
triple1
The lion eats the tiger.
False
1
inv-proof
[(triple1)]
("lion" "eats" "tiger" "+")
triple1
The rabbit eats the lion.
True
2
proof
[(((triple5) -> rule1))]
("rabbit" "eats" "lion" "+")
((triple5) -> (rule1 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The rabbit does not eat the lion.
False
2
inv-proof
[(((triple5) -> rule1))]
("rabbit" "eats" "lion" "-")
((triple5) -> (rule1 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1
The tiger does not eat the lion.
Unknown
inv-rconc
[@1: The tiger eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "eats" "lion" "-")
The lion eats the lion.
Unknown
rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "eats" "lion" "+")
The rabbit does not need the lion.
Unknown
inv-random
[@0: The rabbit needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "lion" "-")
The tiger is cold.
Unknown
random
[@0: The tiger is cold.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "cold" "+")
@0: The lion does not eat the tiger.[(triple1)] The lion needs the tiger.[(triple2)] The rabbit chases the lion.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit is nice.[(triple5)] The tiger chases the lion.[(triple6)] The tiger is rough.[(triple7)] @1: The rabbit eats the lion.[(((triple5) -> rule1))]
The lion does not eat the tiger.
("lion" "eats" "tiger" "-")
triple1
The lion needs the tiger.
("lion" "needs" "tiger" "+")
triple2
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple4
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple5
The tiger chases the lion.
("tiger" "chases" "lion" "+")
triple6
The tiger is rough.
("tiger" "is" "rough" "+")
triple7
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
((triple5) -> (rule1 % int1))
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
int1