The cow chases the mouse. The cow eats the mouse. The cow is nice. The lion chases the mouse. The lion eats the mouse. The lion eats the squirrel. The lion is kind. The mouse needs the cow. The mouse needs the squirrel. The squirrel chases the cow. If someone needs the cow then they eat the squirrel. If someone chases the cow and the cow chases the lion then the lion does not need the mouse. If the mouse eats the squirrel then the squirrel needs the cow. If someone eats the mouse and they are not green then they eat the lion. If someone eats the cow and they are green then they need the lion. If someone is nice and they do not chase the mouse then they are not cold.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is nice.
("cow" "is" "nice" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
The lion is kind.
("lion" "is" "kind" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
If someone needs the cow then they eat the squirrel.
((("someone" "needs" "cow" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone chases the cow and the cow chases the lion then the lion does not need the mouse.
((("someone" "chases" "cow" "+") ("cow" "chases" "lion" "+")) -> ("lion" "needs" "mouse" "-"))
If the mouse eats the squirrel then the squirrel needs the cow.
((("mouse" "eats" "squirrel" "+")) -> ("squirrel" "needs" "cow" "+"))
If someone eats the mouse and they are not green then they eat the lion.
((("someone" "eats" "mouse" "+") ("someone" "is" "green" "~")) -> ("someone" "eats" "lion" "+"))
If someone eats the cow and they are green then they need the lion.
((("someone" "eats" "cow" "+") ("someone" "is" "green" "+")) -> ("someone" "needs" "lion" "+"))
If someone is nice and they do not chase the mouse then they are not cold.
((("someone" "is" "nice" "+") ("someone" "chases" "mouse" "~")) -> ("someone" "is" "cold" "-"))
The cow is nice.
True
1
proof
[(triple3)]
("cow" "is" "nice" "+")
triple3
The cow does not chase the mouse.
False
1
inv-proof
[(triple1)]
("cow" "chases" "mouse" "-")
triple1
The mouse eats the squirrel.
True
2
proof
[(((triple8) -> rule1))]
("mouse" "eats" "squirrel" "+")
((triple8) -> (rule1 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The mouse does not eat the squirrel.
False
2
inv-proof
[(((triple8) -> rule1))]
("mouse" "eats" "squirrel" "-")
((triple8) -> (rule1 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The squirrel needs the cow.
True
3
proof
[(((((triple8) -> rule1)) -> rule3))]
("squirrel" "needs" "cow" "+")
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The squirrel does not need the cow.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule3))]
("squirrel" "needs" "cow" "-")
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The squirrel eats the squirrel.
True
4
proof
[(((((((triple8) -> rule1)) -> rule3)) -> rule1))]
("squirrel" "eats" "squirrel" "+")
((((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int3
The squirrel does not eat the squirrel.
False
4
inv-proof
[(((((((triple8) -> rule1)) -> rule3)) -> rule1))]
("squirrel" "eats" "squirrel" "-")
((((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int3
The squirrel does not need the lion.
Unknown
inv-rconc
[@1: The squirrel needs the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("squirrel" "needs" "lion" "-")
The lion needs the lion.
Unknown
rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "needs" "lion" "+")
The cow does not eat the lion.
Unknown
inv-rconc
[@1: The cow eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "lion" "-")
The squirrel eats the lion.
Unknown
rconc
[@1: The squirrel eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("squirrel" "eats" "lion" "+")
The cow does not chase the cow.
Unknown
inv-random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
The cow does not chase the lion.
Unknown
inv-random
[@0: The cow chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "lion" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cow chases the mouse.[(triple1)] The cow eats the mouse.[(triple2)] The cow is nice.[(triple3)] The lion chases the mouse.[(triple4)] The lion eats the mouse.[(triple5)] The lion eats the squirrel.[(triple6)] The lion is kind.[(triple7)] The mouse needs the cow.[(triple8)] The mouse needs the squirrel.[(triple9)] The squirrel chases the cow.[(triple10)] @1: The mouse eats the squirrel.[(((triple8) -> rule1))] @2: The squirrel needs the cow.[(((((triple8) -> rule1)) -> rule3))] @3: The squirrel eats the squirrel.[(((((((triple8) -> rule1)) -> rule3)) -> rule1))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple4
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple5
The lion eats the squirrel.
("lion" "eats" "squirrel" "+")
triple6
The lion is kind.
("lion" "is" "kind" "+")
triple7
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple8
The mouse needs the squirrel.
("mouse" "needs" "squirrel" "+")
triple9
The squirrel chases the cow.
("squirrel" "chases" "cow" "+")
triple10
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
((triple8) -> (rule1 % int1))
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
((((triple8) -> (rule1 % int2))) -> (rule3 % int1))
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int1
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int2
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
((((((triple8) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The squirrel eats the squirrel.
("squirrel" "eats" "squirrel" "+")
int1
The squirrel needs the cow.
("squirrel" "needs" "cow" "+")
int2
The mouse eats the squirrel.
("mouse" "eats" "squirrel" "+")
int3