The cat needs the lion. The dog eats the lion. The dog needs the lion. The dog needs the mouse. The lion is cold. The lion is rough. The lion is round. The lion needs the dog. The mouse is cold. The mouse needs the lion. If someone is kind and they like the dog then the dog likes the cat. Rough people are kind. If the lion eats the mouse and the lion eats the dog then the dog likes the mouse.
The cat needs the lion.
("cat" "needs" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If someone is kind and they like the dog then the dog likes the cat.
((("someone" "is" "kind" "+") ("someone" "likes" "dog" "+")) -> ("dog" "likes" "cat" "+"))
Rough people are kind.
((("someone" "is" "rough" "+")) -> ("someone" "is" "kind" "+"))
If the lion eats the mouse and the lion eats the dog then the dog likes the mouse.
((("lion" "eats" "mouse" "+") ("lion" "eats" "dog" "+")) -> ("dog" "likes" "mouse" "+"))
The mouse needs the lion.
True
1
proof
[(triple10)]
("mouse" "needs" "lion" "+")
triple10
The mouse does not need the lion.
False
1
inv-proof
[(triple10)]
("mouse" "needs" "lion" "-")
triple10
The lion is kind.
True
2
proof
[(((triple6) -> rule2))]
("lion" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is not kind.
False
2
inv-proof
[(((triple6) -> rule2))]
("lion" "is" "kind" "-")
((triple6) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The dog is not kind.
Unknown
inv-rconc
[@1: The dog is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "kind" "-")
The mouse is kind.
Unknown
rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "is" "kind" "+")
The cat does not eat the mouse.
Unknown
inv-random
[@0: The cat eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "mouse" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat needs the lion.[(triple1)] The dog eats the lion.[(triple2)] The dog needs the lion.[(triple3)] The dog needs the mouse.[(triple4)] The lion is cold.[(triple5)] The lion is rough.[(triple6)] The lion is round.[(triple7)] The lion needs the dog.[(triple8)] The mouse is cold.[(triple9)] The mouse needs the lion.[(triple10)] @1: The lion is kind.[(((triple6) -> rule2))]
The cat needs the lion.
("cat" "needs" "lion" "+")
triple1
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
The dog needs the lion.
("dog" "needs" "lion" "+")
triple3
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple4
The lion is cold.
("lion" "is" "cold" "+")
triple5
The lion is rough.
("lion" "is" "rough" "+")
triple6
The lion is round.
("lion" "is" "round" "+")
triple7
The lion needs the dog.
("lion" "needs" "dog" "+")
triple8
The mouse is cold.
("mouse" "is" "cold" "+")
triple9
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple10
The lion is kind.
("lion" "is" "kind" "+")
((triple6) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1