The cow chases the squirrel. The cow eats the squirrel. The cow is kind. The cow sees the dog. The cow sees the squirrel. The dog sees the cow. The mouse is kind. The mouse is young. The mouse sees the cow. The squirrel eats the dog. If something is kind and young then it eats the dog. If something is kind then it chases the mouse. If the cow chases the mouse then the cow is cold. If the dog is kind then the dog eats the cow. If something chases the dog then the dog is blue. If something is cold then it eats the cow.
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
If something is kind and young then it eats the dog.
((("something" "is" "kind" "+") ("something" "is" "young" "+")) -> ("something" "eats" "dog" "+"))
If something is kind then it chases the mouse.
((("something" "is" "kind" "+")) -> ("something" "chases" "mouse" "+"))
If the cow chases the mouse then the cow is cold.
((("cow" "chases" "mouse" "+")) -> ("cow" "is" "cold" "+"))
If the dog is kind then the dog eats the cow.
((("dog" "is" "kind" "+")) -> ("dog" "eats" "cow" "+"))
If something chases the dog then the dog is blue.
((("something" "chases" "dog" "+")) -> ("dog" "is" "blue" "+"))
If something is cold then it eats the cow.
((("something" "is" "cold" "+")) -> ("something" "eats" "cow" "+"))
The mouse is kind.
True
1
proof
[(triple7)]
("mouse" "is" "kind" "+")
triple7
The cow does not see the squirrel.
False
1
inv-proof
[(triple5)]
("cow" "sees" "squirrel" "-")
triple5
The cow chases the mouse.
True
2
proof
[(((triple3) -> rule2))]
("cow" "chases" "mouse" "+")
((triple3) -> (rule2 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
The cow does not chase the mouse.
False
2
inv-proof
[(((triple3) -> rule2))]
("cow" "chases" "mouse" "-")
((triple3) -> (rule2 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
The cow is cold.
True
3
proof
[(((((triple3) -> rule2)) -> rule3))]
("cow" "is" "cold" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int2
The cow is not cold.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule3))]
("cow" "is" "cold" "-")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int2
The cow eats the cow.
True
4
proof
[(((((((triple3) -> rule2)) -> rule3)) -> rule6))]
("cow" "eats" "cow" "+")
((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int3
The cow does not eat the cow.
False
4
inv-proof
[(((((((triple3) -> rule2)) -> rule3)) -> rule6))]
("cow" "eats" "cow" "-")
((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int3
The mouse does not eat the cow.
Unknown
inv-rconc
[@1: The mouse eats the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "eats" "cow" "-")
The dog chases the mouse.
Unknown
rconc
[@1: The dog chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "mouse" "+")
The dog does not eat the cow.
Unknown
inv-rconc
[@1: The dog eats the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "eats" "cow" "-")
The cow eats the dog.
Unknown
rconc
[@1: The cow eats the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "eats" "dog" "+")
The cow does not see the mouse.
Unknown
inv-random
[@0: The cow sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "mouse" "-")
The cow sees the cow.
Unknown
random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "+")
The dog does not eat the mouse.
Unknown
inv-random
[@0: The dog eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "mouse" "-")
The squirrel is rough.
Unknown
random
[@0: The squirrel is rough.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "rough" "+")
@0: The cow chases the squirrel.[(triple1)] The cow eats the squirrel.[(triple2)] The cow is kind.[(triple3)] The cow sees the dog.[(triple4)] The cow sees the squirrel.[(triple5)] The dog sees the cow.[(triple6)] The mouse is kind.[(triple7)] The mouse is young.[(triple8)] The mouse sees the cow.[(triple9)] The squirrel eats the dog.[(triple10)] @1: The cow chases the mouse.[(((triple3) -> rule2))] The mouse chases the mouse.[(((triple7) -> rule2))] The mouse eats the dog.[(((triple7 triple8) -> rule1))] @2: The cow is cold.[(((((triple3) -> rule2)) -> rule3))] @3: The cow eats the cow.[(((((((triple3) -> rule2)) -> rule3)) -> rule6))]
The cow chases the squirrel.
("cow" "chases" "squirrel" "+")
triple1
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
triple2
The cow is kind.
("cow" "is" "kind" "+")
triple3
The cow sees the dog.
("cow" "sees" "dog" "+")
triple4
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
triple5
The dog sees the cow.
("dog" "sees" "cow" "+")
triple6
The mouse is kind.
("mouse" "is" "kind" "+")
triple7
The mouse is young.
("mouse" "is" "young" "+")
triple8
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple9
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple10
The cow chases the mouse.
("cow" "chases" "mouse" "+")
((triple3) -> (rule2 % int1))
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int1
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((triple7) -> (rule2 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
((triple7 triple8) -> (rule1 % int1))
The mouse eats the dog.
("mouse" "eats" "dog" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
((((triple3) -> (rule2 % int2))) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int2
The cow eats the cow.
("cow" "eats" "cow" "+")
((((((triple3) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cow eats the cow.
("cow" "eats" "cow" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The cow chases the mouse.
("cow" "chases" "mouse" "+")
int3