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