The cat chases the cow. The cat is rough. The cat does not need the cow. The cow eats the cat. The dog is round. The dog does not need the cow. The dog needs the squirrel. The squirrel does not chase the cow. The squirrel eats the cow. The squirrel is kind. The squirrel is red. The squirrel is round. If someone needs the cat then the cat needs the cow. If the squirrel is nice and the squirrel eats the cat then the squirrel does not eat the dog. If someone chases the cat then they eat the squirrel. If someone eats the cat then they need the squirrel. If someone is kind then they chase the squirrel. If someone needs the squirrel then they chase the cat. If someone needs the cat and the cat does not chase the cow then the cat chases the dog. If the dog needs the cat and the cat does not chase the squirrel then the squirrel chases the cow.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat does not need the cow.
("cat" "needs" "cow" "-")
The cow eats the cat.
("cow" "eats" "cat" "+")
The dog is round.
("dog" "is" "round" "+")
The dog does not need the cow.
("dog" "needs" "cow" "-")
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
The squirrel is kind.
("squirrel" "is" "kind" "+")
The squirrel is red.
("squirrel" "is" "red" "+")
The squirrel is round.
("squirrel" "is" "round" "+")
If someone needs the cat then the cat needs the cow.
((("someone" "needs" "cat" "+")) -> ("cat" "needs" "cow" "+"))
If the squirrel is nice and the squirrel eats the cat then the squirrel does not eat the dog.
((("squirrel" "is" "nice" "+") ("squirrel" "eats" "cat" "+")) -> ("squirrel" "eats" "dog" "-"))
If someone chases the cat then they eat the squirrel.
((("someone" "chases" "cat" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone eats the cat then they need the squirrel.
((("someone" "eats" "cat" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone is kind then they chase the squirrel.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "squirrel" "+"))
If someone needs the squirrel then they chase the cat.
((("someone" "needs" "squirrel" "+")) -> ("someone" "chases" "cat" "+"))
If someone needs the cat and the cat does not chase the cow then the cat chases the dog.
((("someone" "needs" "cat" "+") ("cat" "chases" "cow" "~")) -> ("cat" "chases" "dog" "+"))
If the dog needs the cat and the cat does not chase the squirrel then the squirrel chases the cow.
((("dog" "needs" "cat" "+") ("cat" "chases" "squirrel" "~")) -> ("squirrel" "chases" "cow" "+"))
The dog does not need the cow.
True
1
proof
[(triple6)]
("dog" "needs" "cow" "-")
triple6
The cat is not rough.
False
1
inv-proof
[(triple2)]
("cat" "is" "rough" "-")
triple2
The dog chases the cat.
True
2
proof
[(((triple7) -> rule6))]
("dog" "chases" "cat" "+")
((triple7) -> (rule6 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The cow does not need the squirrel.
False
2
inv-proof
[(((triple4) -> rule4))]
("cow" "needs" "squirrel" "-")
((triple4) -> (rule4 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The dog eats the squirrel.
True
3
proof
[(((((triple7) -> rule6)) -> rule3))]
("dog" "eats" "squirrel" "+")
((((triple7) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The dog does not eat the squirrel.
False
3
inv-proof
[(((((triple7) -> rule6)) -> rule3))]
("dog" "eats" "squirrel" "-")
((((triple7) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The cow eats the squirrel.
True
4
proof
[(((((((triple4) -> rule4)) -> rule6)) -> rule3))]
("cow" "eats" "squirrel" "+")
((((((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int3
The cow does not eat the squirrel.
False
4
inv-proof
[(((((((triple4) -> rule4)) -> rule6)) -> rule3))]
("cow" "eats" "squirrel" "-")
((((((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int3
The cat does not chase the squirrel.
Unknown
inv-rconc
[@1: The cat chases the squirrel.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "chases" "squirrel" "-")
The cat chases the cat.
Unknown
rconc
[@2: The cat chases the cat.[CWA. Example of deepest failure = (rule6 <- rule4 <- FAIL)]]
("cat" "chases" "cat" "+")
The cat does not need the squirrel.
Unknown
inv-rconc
[@1: The cat needs the squirrel.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "needs" "squirrel" "-")
The cat chases the dog.
Unknown
rconc
[@1: The cat chases the dog.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cat" "chases" "dog" "+")
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 dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The cow does not eat the dog.
Unknown
inv-random
[@0: The cow eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "dog" "-")
The cow is red.
Unknown
random
[@0: The cow is red.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "red" "+")
@0: The cat chases the cow.[(triple1)] The cat does not need the cow.[(triple3)] The cat is rough.[(triple2)] The cow eats the cat.[(triple4)] The dog does not need the cow.[(triple6)] The dog is round.[(triple5)] The dog needs the squirrel.[(triple7)] The squirrel does not chase the cow.[(triple8)] The squirrel eats the cow.[(triple9)] The squirrel is kind.[(triple10)] The squirrel is red.[(triple11)] The squirrel is round.[(triple12)] @1: The cow needs the squirrel.[(((triple4) -> rule4))] The dog chases the cat.[(((triple7) -> rule6))] The squirrel chases the squirrel.[(((triple10) -> rule5))] @2: The cow chases the cat.[(((((triple4) -> rule4)) -> rule6))] The dog eats the squirrel.[(((((triple7) -> rule6)) -> rule3))] @3: The cow eats the squirrel.[(((((((triple4) -> rule4)) -> rule6)) -> rule3))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat does not need the cow.
("cat" "needs" "cow" "-")
triple3
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cow eats the cat.
("cow" "eats" "cat" "+")
triple4
The dog does not need the cow.
("dog" "needs" "cow" "-")
triple6
The dog is round.
("dog" "is" "round" "+")
triple5
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
triple7
The squirrel does not chase the cow.
("squirrel" "chases" "cow" "-")
triple8
The squirrel eats the cow.
("squirrel" "eats" "cow" "+")
triple9
The squirrel is kind.
("squirrel" "is" "kind" "+")
triple10
The squirrel is red.
("squirrel" "is" "red" "+")
triple11
The squirrel is round.
("squirrel" "is" "round" "+")
triple12
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
((triple4) -> (rule4 % int1))
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
((triple7) -> (rule6 % int1))
The dog chases the cat.
("dog" "chases" "cat" "+")
int1
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
((triple10) -> (rule5 % int1))
The squirrel chases the squirrel.
("squirrel" "chases" "squirrel" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
((((triple4) -> (rule4 % int2))) -> (rule6 % int1))
The cow chases the cat.
("cow" "chases" "cat" "+")
int1
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int2
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((((triple7) -> (rule6 % int2))) -> (rule3 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog chases the cat.
("dog" "chases" "cat" "+")
int2
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
((((((triple4) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule3 % int1))
The cow eats the squirrel.
("cow" "eats" "squirrel" "+")
int1
The cow chases the cat.
("cow" "chases" "cat" "+")
int2
The cow needs the squirrel.
("cow" "needs" "squirrel" "+")
int3