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