The lion does not eat the rabbit. The lion is not blue. The lion is not cold. The lion is not green. The lion is nice. The lion does not need the rabbit. The rabbit eats the lion. The rabbit is blue. The rabbit is kind. The rabbit likes the lion. If someone eats the lion and they do not need the rabbit then they do not need the lion. If someone likes the lion and the lion needs the rabbit then the lion is not nice. If someone eats the lion and they need the rabbit then the lion eats the rabbit. If someone likes the lion then the lion likes the rabbit. If someone likes the rabbit then they eat the lion. If someone needs the lion and the lion likes the rabbit then they like the lion.
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
The lion is not blue.
("lion" "is" "blue" "-")
The lion is not cold.
("lion" "is" "cold" "-")
The lion is not green.
("lion" "is" "green" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
If someone eats the lion and they do not need the rabbit then they do not need the lion.
((("someone" "eats" "lion" "+") ("someone" "needs" "rabbit" "~")) -> ("someone" "needs" "lion" "-"))
If someone likes the lion and the lion needs the rabbit then the lion is not nice.
((("someone" "likes" "lion" "+") ("lion" "needs" "rabbit" "+")) -> ("lion" "is" "nice" "-"))
If someone eats the lion and they need the rabbit then the lion eats the rabbit.
((("someone" "eats" "lion" "+") ("someone" "needs" "rabbit" "+")) -> ("lion" "eats" "rabbit" "+"))
If someone likes the lion then the lion likes the rabbit.
((("someone" "likes" "lion" "+")) -> ("lion" "likes" "rabbit" "+"))
If someone likes the rabbit then they eat the lion.
((("someone" "likes" "rabbit" "+")) -> ("someone" "eats" "lion" "+"))
If someone needs the lion and the lion likes the rabbit then they like the lion.
((("someone" "needs" "lion" "+") ("lion" "likes" "rabbit" "+")) -> ("someone" "likes" "lion" "+"))
The lion does not need the rabbit.
True
1
proof
[(triple6)]
("lion" "needs" "rabbit" "-")
triple6
The lion is cold.
False
1
inv-proof
[(triple3)]
("lion" "is" "cold" "+")
triple3
The lion likes the rabbit.
True
2
proof
[(((triple10) -> rule4))]
("lion" "likes" "rabbit" "+")
((triple10) -> (rule4 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion does not like the rabbit.
False
2
inv-proof
[(((triple10) -> rule4))]
("lion" "likes" "rabbit" "-")
((triple10) -> (rule4 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion eats the lion.
True
3
proof
[(((((triple10) -> rule4)) -> rule5))]
("lion" "eats" "lion" "+")
((((triple10) -> (rule4 % int2))) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion does not eat the lion.
False
3
inv-proof
[(((((triple10) -> rule4)) -> rule5))]
("lion" "eats" "lion" "-")
((((triple10) -> (rule4 % int2))) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion does not need the lion.
True
5
proof
[(((((((triple10) -> rule4)) -> rule5) triple6) -> rule1))]
("lion" "needs" "lion" "-")
((((((triple10) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion needs the lion.
False
5
inv-proof
[(((((((triple10) -> rule4)) -> rule5) triple6) -> rule1))]
("lion" "needs" "lion" "+")
((((((triple10) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("lion" "likes" "lion" "-")
The rabbit is nice.
Unknown
random
[@0: The rabbit is nice.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "nice" "+")
The rabbit does not need the rabbit.
Unknown
inv-random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The lion is not kind.
Unknown
inv-random
[@0: The lion is kind.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "kind" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit needs the lion.
Unknown
random
[@0: The rabbit needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "lion" "+")
@0: The lion does not eat the rabbit.[(triple1)] The lion does not need the rabbit.[(triple6)] The lion is nice.[(triple5)] The lion is not blue.[(triple2)] The lion is not cold.[(triple3)] The lion is not green.[(triple4)] The rabbit eats the lion.[(triple7)] The rabbit is blue.[(triple8)] The rabbit is kind.[(triple9)] The rabbit likes the lion.[(triple10)] @1: The lion likes the rabbit.[(((triple10) -> rule4))] @2: The lion eats the lion.[(((((triple10) -> rule4)) -> rule5))] @3: The lion does not need the lion.[(((((((triple10) -> rule4)) -> rule5) triple6) -> rule1))]
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
triple1
The lion does not need the rabbit.
("lion" "needs" "rabbit" "-")
triple6
The lion is nice.
("lion" "is" "nice" "+")
triple5
The lion is not blue.
("lion" "is" "blue" "-")
triple2
The lion is not cold.
("lion" "is" "cold" "-")
triple3
The lion is not green.
("lion" "is" "green" "-")
triple4
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple7
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple8
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple10
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
((triple10) -> (rule4 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
((((triple10) -> (rule4 % int2))) -> (rule5 % int1))
The lion eats the lion.
("lion" "eats" "lion" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion does not need the lion.
("lion" "needs" "lion" "-")
((((((triple10) -> (rule4 % int3))) -> (rule5 % int2)) triple6) -> (rule1 % int1))
The lion does not need the lion.
("lion" "needs" "lion" "-")
int1
The lion eats the lion.
("lion" "eats" "lion" "+")
int2
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int3