The dog needs the mouse. The lion eats the dog. The mouse is cold. The mouse likes the dog. The rabbit is big. The rabbit is cold. The rabbit needs the dog. If someone is cold and they need the mouse then the mouse needs the dog. If someone likes the lion then the lion is blue. If someone eats the dog then they like the rabbit. If someone eats the dog and they like the rabbit then they are nice. If someone needs the rabbit and they like the dog then the dog eats the lion. If someone likes the mouse and the mouse needs the rabbit then the mouse needs the dog.
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone is cold and they need the mouse then the mouse needs the dog.
((("someone" "is" "cold" "+") ("someone" "needs" "mouse" "+")) -> ("mouse" "needs" "dog" "+"))
If someone likes the lion then the lion is blue.
((("someone" "likes" "lion" "+")) -> ("lion" "is" "blue" "+"))
If someone eats the dog then they like the rabbit.
((("someone" "eats" "dog" "+")) -> ("someone" "likes" "rabbit" "+"))
If someone eats the dog and they like the rabbit then they are nice.
((("someone" "eats" "dog" "+") ("someone" "likes" "rabbit" "+")) -> ("someone" "is" "nice" "+"))
If someone needs the rabbit and they like the dog then the dog eats the lion.
((("someone" "needs" "rabbit" "+") ("someone" "likes" "dog" "+")) -> ("dog" "eats" "lion" "+"))
If someone likes the mouse and the mouse needs the rabbit then the mouse needs the dog.
((("someone" "likes" "mouse" "+") ("mouse" "needs" "rabbit" "+")) -> ("mouse" "needs" "dog" "+"))
The mouse is cold.
True
1
proof
[(triple3)]
("mouse" "is" "cold" "+")
triple3
The mouse does not like the dog.
False
1
inv-proof
[(triple4)]
("mouse" "likes" "dog" "-")
triple4
The lion likes the rabbit.
True
2
proof
[(((triple2) -> rule3))]
("lion" "likes" "rabbit" "+")
((triple2) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion does not like the rabbit.
False
2
inv-proof
[(((triple2) -> rule3))]
("lion" "likes" "rabbit" "-")
((triple2) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion is nice.
True
4
proof
[(((triple2 ((triple2) -> rule3)) -> rule4))]
("lion" "is" "nice" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion is not nice.
False
4
inv-proof
[(((triple2 ((triple2) -> rule3)) -> rule4))]
("lion" "is" "nice" "-")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "is" "blue" "-")
The dog likes the rabbit.
Unknown
rconc
[@1: The dog likes the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "likes" "rabbit" "+")
The mouse is not nice.
Unknown
inv-rconc
[@1: The mouse is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "nice" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
The dog does not eat the rabbit.
Unknown
inv-random
[@0: The dog eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "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 dog needs the mouse.[(triple1)] The lion eats the dog.[(triple2)] The mouse is cold.[(triple3)] The mouse likes the dog.[(triple4)] The rabbit is big.[(triple5)] The rabbit is cold.[(triple6)] The rabbit needs the dog.[(triple7)] @1: The lion likes the rabbit.[(((triple2) -> rule3))] @2: The lion is nice.[(((triple2 ((triple2) -> rule3)) -> rule4))]
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple1
The lion eats the dog.
("lion" "eats" "dog" "+")
triple2
The mouse is cold.
("mouse" "is" "cold" "+")
triple3
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple4
The rabbit is big.
("rabbit" "is" "big" "+")
triple5
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple6
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple7
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
((triple2) -> (rule3 % int1))
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int1
The lion is nice.
("lion" "is" "nice" "+")
((triple2 ((triple2) -> (rule3 % int2))) -> (rule4 % int1))
The lion is nice.
("lion" "is" "nice" "+")
int1
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
int2