The rabbit needs the tiger. The tiger needs the rabbit. If someone eats the rabbit then the rabbit eats the tiger. If someone sees the tiger then the tiger does not eat the rabbit. If someone needs the tiger and the tiger is big then the tiger eats the rabbit. If someone sees the tiger and they are nice then they are big. If the rabbit sees the tiger and the rabbit does not need the tiger then the rabbit is blue. If someone sees the rabbit and the rabbit is nice then the rabbit does not see the tiger. If someone needs the rabbit then they eat the rabbit. If the rabbit sees the tiger and the rabbit eats the tiger then the rabbit is not nice.
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If someone eats the rabbit then the rabbit eats the tiger.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "tiger" "+"))
If someone sees the tiger then the tiger does not eat the rabbit.
((("someone" "sees" "tiger" "+")) -> ("tiger" "eats" "rabbit" "-"))
If someone needs the tiger and the tiger is big then the tiger eats the rabbit.
((("someone" "needs" "tiger" "+") ("tiger" "is" "big" "+")) -> ("tiger" "eats" "rabbit" "+"))
If someone sees the tiger and they are nice then they are big.
((("someone" "sees" "tiger" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "big" "+"))
If the rabbit sees the tiger and the rabbit does not need the tiger then the rabbit is blue.
((("rabbit" "sees" "tiger" "+") ("rabbit" "needs" "tiger" "~")) -> ("rabbit" "is" "blue" "+"))
If someone sees the rabbit and the rabbit is nice then the rabbit does not see the tiger.
((("someone" "sees" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("rabbit" "sees" "tiger" "-"))
If someone needs the rabbit then they eat the rabbit.
((("someone" "needs" "rabbit" "+")) -> ("someone" "eats" "rabbit" "+"))
If the rabbit sees the tiger and the rabbit eats the tiger then the rabbit is not nice.
((("rabbit" "sees" "tiger" "+") ("rabbit" "eats" "tiger" "+")) -> ("rabbit" "is" "nice" "-"))
The tiger needs the rabbit.
True
1
proof
[(triple2)]
("tiger" "needs" "rabbit" "+")
triple2
The tiger does not need the rabbit.
False
1
inv-proof
[(triple2)]
("tiger" "needs" "rabbit" "-")
triple2
The tiger eats the rabbit.
True
2
proof
[(((triple2) -> rule7))]
("tiger" "eats" "rabbit" "+")
((triple2) -> (rule7 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger does not eat the rabbit.
False
2
inv-proof
[(((triple2) -> rule7))]
("tiger" "eats" "rabbit" "-")
((triple2) -> (rule7 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The rabbit eats the tiger.
True
3
proof
[(((((triple2) -> rule7)) -> rule1))]
("rabbit" "eats" "tiger" "+")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The rabbit does not eat the tiger.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule1))]
("rabbit" "eats" "tiger" "-")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "big" "-")
The rabbit eats the rabbit.
Unknown
rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "eats" "rabbit" "+")
The tiger is not big.
Unknown
inv-rconc
[@1: The tiger is big.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("tiger" "is" "big" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger is nice.
Unknown
random
[@0: The tiger is nice.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "nice" "+")
@0: The rabbit needs the tiger.[(triple1)] The tiger needs the rabbit.[(triple2)] @1: The tiger eats the rabbit.[(((triple2) -> rule7))] @2: The rabbit eats the tiger.[(((((triple2) -> rule7)) -> rule1))]
The rabbit needs the tiger.
("rabbit" "needs" "tiger" "+")
triple1
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple2
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
((triple2) -> (rule7 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
((((triple2) -> (rule7 % int2))) -> (rule1 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2