The bear chases the dog. The bear is rough. The bear likes the dog. The cow chases the bear. The cow does not like the dog. The dog likes the bear. The dog does not visit the bear. If someone likes the cow and they chase the bear then the bear is not cold. If the dog chases the cow then the dog chases the bear. If someone visits the cow then the cow does not chase the bear. If someone likes the bear then they chase the cow. If someone is young then they do not visit the cow. If someone likes the dog then the dog likes the cow.
The bear chases the dog.
("bear" "chases" "dog" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear likes the dog.
("bear" "likes" "dog" "+")
The cow chases the bear.
("cow" "chases" "bear" "+")
The cow does not like the dog.
("cow" "likes" "dog" "-")
The dog likes the bear.
("dog" "likes" "bear" "+")
The dog does not visit the bear.
("dog" "visits" "bear" "-")
If someone likes the cow and they chase the bear then the bear is not cold.
((("someone" "likes" "cow" "+") ("someone" "chases" "bear" "+")) -> ("bear" "is" "cold" "-"))
If the dog chases the cow then the dog chases the bear.
((("dog" "chases" "cow" "+")) -> ("dog" "chases" "bear" "+"))
If someone visits the cow then the cow does not chase the bear.
((("someone" "visits" "cow" "+")) -> ("cow" "chases" "bear" "-"))
If someone likes the bear then they chase the cow.
((("someone" "likes" "bear" "+")) -> ("someone" "chases" "cow" "+"))
If someone is young then they do not visit the cow.
((("someone" "is" "young" "+")) -> ("someone" "visits" "cow" "-"))
If someone likes the dog then the dog likes the cow.
((("someone" "likes" "dog" "+")) -> ("dog" "likes" "cow" "+"))
The bear chases the dog.
True
1
proof
[(triple1)]
("bear" "chases" "dog" "+")
triple1
The cow does not chase the bear.
False
1
inv-proof
[(triple4)]
("cow" "chases" "bear" "-")
triple4
The dog likes the cow.
True
2
proof
[(((triple3) -> rule6))]
("dog" "likes" "cow" "+")
((triple3) -> (rule6 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog does not like the cow.
False
2
inv-proof
[(((triple3) -> rule6))]
("dog" "likes" "cow" "-")
((triple3) -> (rule6 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog chases the bear.
True
3
proof
[(((((triple6) -> rule4)) -> rule2))]
("dog" "chases" "bear" "+")
((((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The dog does not chase the bear.
False
3
inv-proof
[(((((triple6) -> rule4)) -> rule2))]
("dog" "chases" "bear" "-")
((((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The bear is not cold.
True
6
proof
[(((((triple3) -> rule6) ((((triple6) -> rule4)) -> rule2)) -> rule1))]
("bear" "is" "cold" "-")
((((triple3) -> (rule6 % int4)) ((((triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog likes the cow.
("dog" "likes" "cow" "+")
int4
The bear is cold.
False
6
inv-proof
[(((((triple3) -> rule6) ((((triple6) -> rule4)) -> rule2)) -> rule1))]
("bear" "is" "cold" "+")
((((triple3) -> (rule6 % int4)) ((((triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog likes the cow.
("dog" "likes" "cow" "+")
int4
The bear does not chase the cow.
Unknown
inv-rconc
[@1: The bear chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "chases" "cow" "-")
The cow chases the cow.
Unknown
rconc
[@1: The cow chases the cow.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "chases" "cow" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The cow is not kind.
Unknown
inv-random
[@0: The cow is kind.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "kind" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow chases the dog.
Unknown
random
[@0: The cow chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "dog" "+")
@0: The bear chases the dog.[(triple1)] The bear is rough.[(triple2)] The bear likes the dog.[(triple3)] The cow chases the bear.[(triple4)] The cow does not like the dog.[(triple5)] The dog does not visit the bear.[(triple7)] The dog likes the bear.[(triple6)] @1: The dog chases the cow.[(((triple6) -> rule4))] The dog likes the cow.[(((triple3) -> rule6))] @2: The dog chases the bear.[(((((triple6) -> rule4)) -> rule2))] @3: The bear is not cold.[(((((triple3) -> rule6) ((((triple6) -> rule4)) -> rule2)) -> rule1))]
The bear chases the dog.
("bear" "chases" "dog" "+")
triple1
The bear is rough.
("bear" "is" "rough" "+")
triple2
The bear likes the dog.
("bear" "likes" "dog" "+")
triple3
The cow chases the bear.
("cow" "chases" "bear" "+")
triple4
The cow does not like the dog.
("cow" "likes" "dog" "-")
triple5
The dog does not visit the bear.
("dog" "visits" "bear" "-")
triple7
The dog likes the bear.
("dog" "likes" "bear" "+")
triple6
The dog chases the cow.
("dog" "chases" "cow" "+")
((triple6) -> (rule4 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
((triple3) -> (rule6 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
((((triple6) -> (rule4 % int2))) -> (rule2 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
int2
The bear is not cold.
("bear" "is" "cold" "-")
((((triple3) -> (rule6 % int4)) ((((triple6) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is not cold.
("bear" "is" "cold" "-")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog chases the cow.
("dog" "chases" "cow" "+")
int3
The dog likes the cow.
("dog" "likes" "cow" "+")
int4