The dog is cold. The dog likes the lion. The dog likes the mouse. The lion eats the dog. The lion is blue. The lion is cold. The lion is red. The lion likes the dog. The lion likes the mouse. The lion needs the dog. The mouse eats the dog. The mouse eats the lion. If something is kind and it eats the lion then it likes the lion. If something eats the mouse then it eats the dog. If something eats the mouse then it needs the mouse. If something is kind then it needs the mouse. If the dog is cold then the dog eats the mouse. If something needs the mouse then it is kind.
The dog is cold.
("dog" "is" "cold" "+")
The dog likes the lion.
("dog" "likes" "lion" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is red.
("lion" "is" "red" "+")
The lion likes the dog.
("lion" "likes" "dog" "+")
The lion likes the mouse.
("lion" "likes" "mouse" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
If something is kind and it eats the lion then it likes the lion.
((("something" "is" "kind" "+") ("something" "eats" "lion" "+")) -> ("something" "likes" "lion" "+"))
If something eats the mouse then it eats the dog.
((("something" "eats" "mouse" "+")) -> ("something" "eats" "dog" "+"))
If something eats the mouse then it needs the mouse.
((("something" "eats" "mouse" "+")) -> ("something" "needs" "mouse" "+"))
If something is kind then it needs the mouse.
((("something" "is" "kind" "+")) -> ("something" "needs" "mouse" "+"))
If the dog is cold then the dog eats the mouse.
((("dog" "is" "cold" "+")) -> ("dog" "eats" "mouse" "+"))
If something needs the mouse then it is kind.
((("something" "needs" "mouse" "+")) -> ("something" "is" "kind" "+"))
The mouse eats the dog.
True
1
proof
[(triple11)]
("mouse" "eats" "dog" "+")
triple11
The lion does not need the dog.
False
1
inv-proof
[(triple10)]
("lion" "needs" "dog" "-")
triple10
The dog eats the mouse.
True
2
proof
[(((triple1) -> rule5))]
("dog" "eats" "mouse" "+")
((triple1) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog does not eat the mouse.
False
2
inv-proof
[(((triple1) -> rule5))]
("dog" "eats" "mouse" "-")
((triple1) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog needs the mouse.
True
3
proof
[(((((triple1) -> rule5)) -> rule3))]
("dog" "needs" "mouse" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The dog does not need the mouse.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule3))]
("dog" "needs" "mouse" "-")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The dog is kind.
True
4
proof
[(((((((triple1) -> rule5)) -> rule3)) -> rule6))]
("dog" "is" "kind" "+")
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The dog is not kind.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule3)) -> rule6))]
("dog" "is" "kind" "-")
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3
The lion does not like the lion.
Unknown
inv-rconc
[@1: The lion likes the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("lion" "likes" "lion" "-")
The mouse likes the lion.
Unknown
rconc
[@3: The mouse likes the lion.[CWA. Example of deepest failure = (rule1 <- rule6 <- rule3 <- FAIL)]]
("mouse" "likes" "lion" "+")
The mouse does not need the mouse.
Unknown
inv-rconc
[@3: The mouse needs the mouse.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule3 <- FAIL)]]
("mouse" "needs" "mouse" "-")
The lion needs the mouse.
Unknown
rconc
[@3: The lion needs the mouse.[CWA. Example of deepest failure = (rule4 <- rule6 <- rule3 <- FAIL)]]
("lion" "needs" "mouse" "+")
The mouse does not like the mouse.
Unknown
inv-random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "-")
The mouse likes the dog.
Unknown
random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "+")
The dog does not need the lion.
Unknown
inv-random
[@0: The dog needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "lion" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The dog is cold.[(triple1)] The dog likes the lion.[(triple2)] The dog likes the mouse.[(triple3)] The lion eats the dog.[(triple4)] The lion is blue.[(triple5)] The lion is cold.[(triple6)] The lion is red.[(triple7)] The lion likes the dog.[(triple8)] The lion likes the mouse.[(triple9)] The lion needs the dog.[(triple10)] The mouse eats the dog.[(triple11)] The mouse eats the lion.[(triple12)] @1: The dog eats the mouse.[(((triple1) -> rule5))] @2: The dog eats the dog.[(((((triple1) -> rule5)) -> rule2))] The dog needs the mouse.[(((((triple1) -> rule5)) -> rule3))] @3: The dog is kind.[(((((((triple1) -> rule5)) -> rule3)) -> rule6))]
The dog is cold.
("dog" "is" "cold" "+")
triple1
The dog likes the lion.
("dog" "likes" "lion" "+")
triple2
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple3
The lion eats the dog.
("lion" "eats" "dog" "+")
triple4
The lion is blue.
("lion" "is" "blue" "+")
triple5
The lion is cold.
("lion" "is" "cold" "+")
triple6
The lion is red.
("lion" "is" "red" "+")
triple7
The lion likes the dog.
("lion" "likes" "dog" "+")
triple8
The lion likes the mouse.
("lion" "likes" "mouse" "+")
triple9
The lion needs the dog.
("lion" "needs" "dog" "+")
triple10
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple11
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple12
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple1) -> (rule5 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
((((triple1) -> (rule5 % int2))) -> (rule2 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The dog needs the mouse.
("dog" "needs" "mouse" "+")
((((triple1) -> (rule5 % int2))) -> (rule3 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The dog is kind.
("dog" "is" "kind" "+")
((((((triple1) -> (rule5 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int3