The cat eats the cow. The cow needs the lion. The lion is kind. The mouse eats the cat. If someone needs the lion then they are rough. If someone is big and they need the cow then they need the mouse. If the cat is kind and the cat is not rough then the cat is not big.
The cat eats the cow.
("cat" "eats" "cow" "+")
The cow needs the lion.
("cow" "needs" "lion" "+")
The lion is kind.
("lion" "is" "kind" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
If someone needs the lion then they are rough.
((("someone" "needs" "lion" "+")) -> ("someone" "is" "rough" "+"))
If someone is big and they need the cow then they need the mouse.
((("someone" "is" "big" "+") ("someone" "needs" "cow" "+")) -> ("someone" "needs" "mouse" "+"))
If the cat is kind and the cat is not rough then the cat is not big.
((("cat" "is" "kind" "+") ("cat" "is" "rough" "~")) -> ("cat" "is" "big" "-"))
The cow needs the lion.
True
1
proof
[(triple2)]
("cow" "needs" "lion" "+")
triple2
The lion is not kind.
False
1
inv-proof
[(triple3)]
("lion" "is" "kind" "-")
triple3
The cow is rough.
True
2
proof
[(((triple2) -> rule1))]
("cow" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow is not rough.
False
2
inv-proof
[(((triple2) -> rule1))]
("cow" "is" "rough" "-")
((triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "rough" "-")
The mouse needs the mouse.
Unknown
rconc
[@1: The mouse needs the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "mouse" "+")
The cat does not need the lion.
Unknown
inv-random
[@0: The cat needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "lion" "-")
The lion is red.
Unknown
random
[@0: The lion is red.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "red" "+")
@0: The cat eats the cow.[(triple1)] The cow needs the lion.[(triple2)] The lion is kind.[(triple3)] The mouse eats the cat.[(triple4)] @1: The cow is rough.[(((triple2) -> rule1))]
The cat eats the cow.
("cat" "eats" "cow" "+")
triple1
The cow needs the lion.
("cow" "needs" "lion" "+")
triple2
The lion is kind.
("lion" "is" "kind" "+")
triple3
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple4
The cow is rough.
("cow" "is" "rough" "+")
((triple2) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1