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