The cat does not like the squirrel. The cat does not need the cow. The cat needs the squirrel. The cow eats the dog. The cow is green. The cow is red. The cow needs the cat. The dog is red. The dog is round. The dog needs the cat. The squirrel eats the dog. If someone is green then they eat the cat. If someone eats the cat then the cat needs the dog. If someone needs the dog then the dog is nice. If someone needs the cow then the cow likes the cat. If someone eats the dog and the dog is nice then the dog eats the cat. If someone eats the cat then they do not eat the cow.
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
The cat does not need the cow.
("cat" "needs" "cow" "-")
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is red.
("cow" "is" "red" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
If someone is green then they eat the cat.
((("someone" "is" "green" "+")) -> ("someone" "eats" "cat" "+"))
If someone eats the cat then the cat needs the dog.
((("someone" "eats" "cat" "+")) -> ("cat" "needs" "dog" "+"))
If someone needs the dog then the dog is nice.
((("someone" "needs" "dog" "+")) -> ("dog" "is" "nice" "+"))
If someone needs the cow then the cow likes the cat.
((("someone" "needs" "cow" "+")) -> ("cow" "likes" "cat" "+"))
If someone eats the dog and the dog is nice then the dog eats the cat.
((("someone" "eats" "dog" "+") ("dog" "is" "nice" "+")) -> ("dog" "eats" "cat" "+"))
If someone eats the cat then they do not eat the cow.
((("someone" "eats" "cat" "+")) -> ("someone" "eats" "cow" "-"))
The dog needs the cat.
True
1
proof
[(triple10)]
("dog" "needs" "cat" "+")
triple10
The dog is not round.
False
1
inv-proof
[(triple9)]
("dog" "is" "round" "-")
triple9
The cow eats the cat.
True
2
proof
[(((triple5) -> rule1))]
("cow" "eats" "cat" "+")
((triple5) -> (rule1 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cow does not eat the cat.
False
2
inv-proof
[(((triple5) -> rule1))]
("cow" "eats" "cat" "-")
((triple5) -> (rule1 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cat needs the dog.
True
3
proof
[(((((triple5) -> rule1)) -> rule2))]
("cat" "needs" "dog" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2
The cat does not need the dog.
False
3
inv-proof
[(((((triple5) -> rule1)) -> rule2))]
("cat" "needs" "dog" "-")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2
The dog is nice.
True
4
proof
[(((((((triple5) -> rule1)) -> rule2)) -> rule3))]
("dog" "is" "nice" "+")
((((((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The cow eats the cat.
("cow" "eats" "cat" "+")
int3
The dog is not nice.
False
4
inv-proof
[(((((((triple5) -> rule1)) -> rule2)) -> rule3))]
("dog" "is" "nice" "-")
((((((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The cow eats the cat.
("cow" "eats" "cat" "+")
int3
The dog eats the cat.
True
6
proof
[(((triple11 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5) OR ((triple4 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5))]
("dog" "eats" "cat" "+")
((triple11 ((((((triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The cow eats the cat.
("cow" "eats" "cat" "+")
int4
((triple4 ((((((triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The cow eats the cat.
("cow" "eats" "cat" "+")
int4
The dog does not eat the cat.
False
6
inv-proof
[(((triple11 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5) OR ((triple4 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5))]
("dog" "eats" "cat" "-")
((triple11 ((((((triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The cow eats the cat.
("cow" "eats" "cat" "+")
int4
((triple4 ((((((triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The cow eats the cat.
("cow" "eats" "cat" "+")
int4
The dog does not eat the cow.
True
7
proof
[(((((triple11 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5)) -> rule6))]
("dog" "eats" "cow" "-")
((((triple11 ((((((triple5) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog does not eat the cow.
("dog" "eats" "cow" "-")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The cow eats the cat.
("cow" "eats" "cat" "+")
int5
((((triple4 ((((((triple5) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog does not eat the cow.
("dog" "eats" "cow" "-")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The cow eats the cat.
("cow" "eats" "cat" "+")
int5
The dog eats the cow.
False
7
inv-proof
[(((((triple11 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5)) -> rule6))]
("dog" "eats" "cow" "+")
((((triple11 ((((((triple5) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog does not eat the cow.
("dog" "eats" "cow" "-")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The cow eats the cat.
("cow" "eats" "cat" "+")
int5
((((triple4 ((((((triple5) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog does not eat the cow.
("dog" "eats" "cow" "-")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The cow eats the cat.
("cow" "eats" "cat" "+")
int5
The cat does not eat the cat.
Unknown
inv-rconc
[@1: The cat eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "eats" "cat" "-")
The squirrel eats the cat.
Unknown
rconc
[@1: The squirrel eats the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "eats" "cat" "+")
The cow does not like the cat.
Unknown
inv-rconc
[@1: The cow likes the cat.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "cat" "-")
The squirrel eats the cow.
Unknown
random
[@0: The squirrel eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "eats" "cow" "+")
The squirrel is not round.
Unknown
inv-random
[@0: The squirrel is round.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "round" "-")
The cow needs the squirrel.
Unknown
random
[@0: The cow needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "squirrel" "+")
The dog does not like the squirrel.
Unknown
inv-random
[@0: The dog likes the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "squirrel" "-")
The squirrel likes the cat.
Unknown
random
[@0: The squirrel likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cat" "+")
The cat does not eat the cow.
Unknown
inv-random
[@0: The cat eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cow" "-")
The squirrel likes the cow.
Unknown
random
[@0: The squirrel likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "cow" "+")
The cat is not green.
Unknown
inv-random
[@0: The cat is green.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "green" "-")
The squirrel is red.
Unknown
random
[@0: The squirrel is red.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "red" "+")
@0: The cat does not like the squirrel.[(triple1)] The cat does not need the cow.[(triple2)] The cat needs the squirrel.[(triple3)] The cow eats the dog.[(triple4)] The cow is green.[(triple5)] The cow is red.[(triple6)] The cow needs the cat.[(triple7)] The dog is red.[(triple8)] The dog is round.[(triple9)] The dog needs the cat.[(triple10)] The squirrel eats the dog.[(triple11)] @1: The cow eats the cat.[(((triple5) -> rule1))] @2: The cat needs the dog.[(((((triple5) -> rule1)) -> rule2))] The cow does not eat the cow.[(((((triple5) -> rule1)) -> rule6))] @3: The dog is nice.[(((((((triple5) -> rule1)) -> rule2)) -> rule3))] @4: The dog eats the cat.[(((triple11 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5) OR ((triple4 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5))] @5: The dog does not eat the cow.[(((((triple11 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5)) -> rule6) OR ((((triple4 ((((((triple5) -> rule1)) -> rule2)) -> rule3)) -> rule5)) -> rule6))]
The cat does not like the squirrel.
("cat" "likes" "squirrel" "-")
triple1
The cat does not need the cow.
("cat" "needs" "cow" "-")
triple2
The cat needs the squirrel.
("cat" "needs" "squirrel" "+")
triple3
The cow eats the dog.
("cow" "eats" "dog" "+")
triple4
The cow is green.
("cow" "is" "green" "+")
triple5
The cow is red.
("cow" "is" "red" "+")
triple6
The cow needs the cat.
("cow" "needs" "cat" "+")
triple7
The dog is red.
("dog" "is" "red" "+")
triple8
The dog is round.
("dog" "is" "round" "+")
triple9
The dog needs the cat.
("dog" "needs" "cat" "+")
triple10
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple11
The cow eats the cat.
("cow" "eats" "cat" "+")
((triple5) -> (rule1 % int1))
The cow eats the cat.
("cow" "eats" "cat" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
((((triple5) -> (rule1 % int2))) -> (rule2 % int1))
The cat needs the dog.
("cat" "needs" "dog" "+")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2
The cow does not eat the cow.
("cow" "eats" "cow" "-")
((((triple5) -> (rule1 % int2))) -> (rule6 % int1))
The cow does not eat the cow.
("cow" "eats" "cow" "-")
int1
The cow eats the cat.
("cow" "eats" "cat" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
((((((triple5) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The cat needs the dog.
("cat" "needs" "dog" "+")
int2
The cow eats the cat.
("cow" "eats" "cat" "+")
int3
The dog eats the cat.
("dog" "eats" "cat" "+")
((triple11 ((((((triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The cow eats the cat.
("cow" "eats" "cat" "+")
int4
((triple4 ((((((triple5) -> (rule1 % int4))) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The dog eats the cat.
("dog" "eats" "cat" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The cat needs the dog.
("cat" "needs" "dog" "+")
int3
The cow eats the cat.
("cow" "eats" "cat" "+")
int4
The dog does not eat the cow.
("dog" "eats" "cow" "-")
((((triple11 ((((((triple5) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog does not eat the cow.
("dog" "eats" "cow" "-")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The cow eats the cat.
("cow" "eats" "cat" "+")
int5
((((triple4 ((((((triple5) -> (rule1 % int5))) -> (rule2 % int4))) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The dog does not eat the cow.
("dog" "eats" "cow" "-")
int1
The dog eats the cat.
("dog" "eats" "cat" "+")
int2
The dog is nice.
("dog" "is" "nice" "+")
int3
The cat needs the dog.
("cat" "needs" "dog" "+")
int4
The cow eats the cat.
("cow" "eats" "cat" "+")
int5