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