The bear chases the dog. The bear does not chase the mouse. The bear is big. The bear is blue. The cow chases the mouse. The cow likes the dog. The dog chases the bear. The dog eats the cow. The dog is big. The dog is not blue. The dog likes the bear. The dog likes the mouse. The mouse eats the cow. The mouse eats the dog. If someone eats the dog then they are rough. If someone is round and they like the dog then they like the mouse. If someone is big then they do not like the dog. If someone is rough then they are blue. If someone likes the bear then the bear is not rough. If someone is blue and they eat the dog then they like the cow. If someone is blue and they like the cow then the cow eats the dog.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
The bear is big.
("bear" "is" "big" "+")
The bear is blue.
("bear" "is" "blue" "+")
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog chases the bear.
("dog" "chases" "bear" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse eats the cow.
("mouse" "eats" "cow" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
If someone eats the dog then they are rough.
((("someone" "eats" "dog" "+")) -> ("someone" "is" "rough" "+"))
If someone is round and they like the dog then they like the mouse.
((("someone" "is" "round" "+") ("someone" "likes" "dog" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is big then they do not like the dog.
((("someone" "is" "big" "+")) -> ("someone" "likes" "dog" "-"))
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the bear then the bear is not rough.
((("someone" "likes" "bear" "+")) -> ("bear" "is" "rough" "-"))
If someone is blue and they eat the dog then they like the cow.
((("someone" "is" "blue" "+") ("someone" "eats" "dog" "+")) -> ("someone" "likes" "cow" "+"))
If someone is blue and they like the cow then the cow eats the dog.
((("someone" "is" "blue" "+") ("someone" "likes" "cow" "+")) -> ("cow" "eats" "dog" "+"))
The mouse eats the cow.
True
1
proof
[(triple13)]
("mouse" "eats" "cow" "+")
triple13
The bear chases the mouse.
False
1
inv-proof
[(triple2)]
("bear" "chases" "mouse" "+")
triple2
The mouse is rough.
True
2
proof
[(((triple14) -> rule1))]
("mouse" "is" "rough" "+")
((triple14) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The bear likes the dog.
False
2
inv-proof
[(((triple3) -> rule3))]
("bear" "likes" "dog" "+")
((triple3) -> (rule3 % int1))
The bear does not like the dog.
("bear" "likes" "dog" "-")
int1
The mouse is blue.
True
3
proof
[(((((triple14) -> rule1)) -> rule4))]
("mouse" "is" "blue" "+")
((((triple14) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse is not blue.
False
3
inv-proof
[(((((triple14) -> rule1)) -> rule4))]
("mouse" "is" "blue" "-")
((((triple14) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse likes the cow.
True
5
proof
[(((((((triple14) -> rule1)) -> rule4) triple14) -> rule6))]
("mouse" "likes" "cow" "+")
((((((triple14) -> (rule1 % int3))) -> (rule4 % int2)) triple14) -> (rule6 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The mouse does not like the cow.
False
5
inv-proof
[(((((((triple14) -> rule1)) -> rule4) triple14) -> rule6))]
("mouse" "likes" "cow" "-")
((((((triple14) -> (rule1 % int3))) -> (rule4 % int2)) triple14) -> (rule6 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The cow eats the dog.
True
9
proof
[(((((((triple14) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) triple14) -> rule6)) -> rule7))]
("cow" "eats" "dog" "+")
((((((triple14) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple14) -> (rule1 % int4))) -> (rule4 % int3)) triple14) -> (rule6 % int2))) -> (rule7 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The cow does not eat the dog.
False
9
inv-proof
[(((((((triple14) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) triple14) -> rule6)) -> rule7))]
("cow" "eats" "dog" "-")
((((((triple14) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple14) -> (rule1 % int4))) -> (rule4 % int3)) triple14) -> (rule6 % int2))) -> (rule7 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The cow is rough.
True
10
proof
[(((((((((triple14) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) triple14) -> rule6)) -> rule7)) -> rule1))]
("cow" "is" "rough" "+")
((((((((triple14) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple14) -> (rule1 % int5))) -> (rule4 % int4)) triple14) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow eats the dog.
("cow" "eats" "dog" "+")
int2
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
The cow is not rough.
False
10
inv-proof
[(((((((((triple14) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) triple14) -> rule6)) -> rule7)) -> rule1))]
("cow" "is" "rough" "-")
((((((((triple14) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple14) -> (rule1 % int5))) -> (rule4 % int4)) triple14) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow eats the dog.
("cow" "eats" "dog" "+")
int2
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
The dog does not like the cow.
Unknown
inv-rconc
[@1: The dog likes the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "likes" "cow" "-")
The bear likes the mouse.
Unknown
rconc
[@1: The bear likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "likes" "mouse" "+")
The mouse does not like the mouse.
Unknown
inv-rconc
[@1: The mouse likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "likes" "mouse" "-")
The dog is rough.
Unknown
rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "rough" "+")
The cow does not like the mouse.
Unknown
inv-rconc
[@1: The cow likes the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "likes" "mouse" "-")
The bear likes the cow.
Unknown
rconc
[@1: The bear likes the cow.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "likes" "cow" "+")
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 chases the cow.
Unknown
random
[@0: The dog chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cow" "+")
The mouse does not like the bear.
Unknown
inv-random
[@0: The mouse likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
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 bear eats the mouse.
Unknown
random
[@0: The bear eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "mouse" "+")
@0: The bear chases the dog.[(triple1)] The bear does not chase the mouse.[(triple2)] The bear is big.[(triple3)] The bear is blue.[(triple4)] The cow chases the mouse.[(triple5)] The cow likes the dog.[(triple6)] The dog chases the bear.[(triple7)] The dog eats the cow.[(triple8)] The dog is big.[(triple9)] The dog is not blue.[(triple10)] The dog likes the bear.[(triple11)] The dog likes the mouse.[(triple12)] The mouse eats the cow.[(triple13)] The mouse eats the dog.[(triple14)] @1: The bear does not like the dog.[(((triple3) -> rule3))] The bear is not rough.[(((triple11) -> rule5))] The dog does not like the dog.[(((triple9) -> rule3))] The mouse is rough.[(((triple14) -> rule1))] @2: The mouse is blue.[(((((triple14) -> rule1)) -> rule4))] @3: The mouse likes the cow.[(((((((triple14) -> rule1)) -> rule4) triple14) -> rule6))] @4: The cow eats the dog.[(((((((triple14) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) triple14) -> rule6)) -> rule7))] @5: The cow is rough.[(((((((((triple14) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) triple14) -> rule6)) -> rule7)) -> rule1))] @6: The cow is blue.[(((((((((((triple14) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) triple14) -> rule6)) -> rule7)) -> rule1)) -> rule4))] @7: The cow likes the cow.[(((((((((((((triple14) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) triple14) -> rule6)) -> rule7)) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) ((((((triple14) -> rule1)) -> rule4) triple14) -> rule6)) -> rule7)) -> rule6))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
triple2
The bear is big.
("bear" "is" "big" "+")
triple3
The bear is blue.
("bear" "is" "blue" "+")
triple4
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple5
The cow likes the dog.
("cow" "likes" "dog" "+")
triple6
The dog chases the bear.
("dog" "chases" "bear" "+")
triple7
The dog eats the cow.
("dog" "eats" "cow" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is not blue.
("dog" "is" "blue" "-")
triple10
The dog likes the bear.
("dog" "likes" "bear" "+")
triple11
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple12
The mouse eats the cow.
("mouse" "eats" "cow" "+")
triple13
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple14
The bear does not like the dog.
("bear" "likes" "dog" "-")
((triple3) -> (rule3 % int1))
The bear does not like the dog.
("bear" "likes" "dog" "-")
int1
The bear is not rough.
("bear" "is" "rough" "-")
((triple11) -> (rule5 % int1))
The bear is not rough.
("bear" "is" "rough" "-")
int1
The dog does not like the dog.
("dog" "likes" "dog" "-")
((triple9) -> (rule3 % int1))
The dog does not like the dog.
("dog" "likes" "dog" "-")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
((triple14) -> (rule1 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
((((triple14) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse likes the cow.
("mouse" "likes" "cow" "+")
((((((triple14) -> (rule1 % int3))) -> (rule4 % int2)) triple14) -> (rule6 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The mouse is blue.
("mouse" "is" "blue" "+")
int2
The mouse is rough.
("mouse" "is" "rough" "+")
int3
The cow eats the dog.
("cow" "eats" "dog" "+")
((((((triple14) -> (rule1 % int4))) -> (rule4 % int3)) ((((((triple14) -> (rule1 % int4))) -> (rule4 % int3)) triple14) -> (rule6 % int2))) -> (rule7 % int1))
The cow eats the dog.
("cow" "eats" "dog" "+")
int1
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
int3
The mouse is rough.
("mouse" "is" "rough" "+")
int4
The cow is rough.
("cow" "is" "rough" "+")
((((((((triple14) -> (rule1 % int5))) -> (rule4 % int4)) ((((((triple14) -> (rule1 % int5))) -> (rule4 % int4)) triple14) -> (rule6 % int3))) -> (rule7 % int2))) -> (rule1 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow eats the dog.
("cow" "eats" "dog" "+")
int2
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int3
The mouse is blue.
("mouse" "is" "blue" "+")
int4
The mouse is rough.
("mouse" "is" "rough" "+")
int5
The cow is blue.
("cow" "is" "blue" "+")
((((((((((triple14) -> (rule1 % int6))) -> (rule4 % int5)) ((((((triple14) -> (rule1 % int6))) -> (rule4 % int5)) triple14) -> (rule6 % int4))) -> (rule7 % int3))) -> (rule1 % int2))) -> (rule4 % int1))
The cow is blue.
("cow" "is" "blue" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow eats the dog.
("cow" "eats" "dog" "+")
int3
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int4
The mouse is blue.
("mouse" "is" "blue" "+")
int5
The mouse is rough.
("mouse" "is" "rough" "+")
int6
The cow likes the cow.
("cow" "likes" "cow" "+")
((((((((((((triple14) -> (rule1 % int7))) -> (rule4 % int6)) ((((((triple14) -> (rule1 % int7))) -> (rule4 % int6)) triple14) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule1 % int3))) -> (rule4 % int2)) ((((((triple14) -> (rule1 % int7))) -> (rule4 % int6)) ((((((triple14) -> (rule1 % int7))) -> (rule4 % int6)) triple14) -> (rule6 % int5))) -> (rule7 % int4))) -> (rule6 % int1))
The cow likes the cow.
("cow" "likes" "cow" "+")
int1
The cow is blue.
("cow" "is" "blue" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cow eats the dog.
("cow" "eats" "dog" "+")
int4
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int5
The mouse is blue.
("mouse" "is" "blue" "+")
int6
The mouse is rough.
("mouse" "is" "rough" "+")
int7