The bear chases the rabbit. The dog chases the mouse. The dog visits the rabbit. The mouse likes the rabbit. The rabbit likes the dog. The rabbit likes the mouse. The rabbit visits the mouse. If someone visits the rabbit then they chase the bear. If someone chases the mouse then they visit the bear. If someone likes the bear and the bear chases the dog then the bear is cold. If the dog likes the bear and the dog chases the bear then the dog is blue. If someone likes the bear and the bear visits the mouse then the bear visits the dog. If someone likes the dog and the dog is blue then they visit the dog. If someone visits the bear and the bear chases the rabbit then they like the bear. If someone chases the bear then they are young.
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone visits the rabbit then they chase the bear.
((("someone" "visits" "rabbit" "+")) -> ("someone" "chases" "bear" "+"))
If someone chases the mouse then they visit the bear.
((("someone" "chases" "mouse" "+")) -> ("someone" "visits" "bear" "+"))
If someone likes the bear and the bear chases the dog then the bear is cold.
((("someone" "likes" "bear" "+") ("bear" "chases" "dog" "+")) -> ("bear" "is" "cold" "+"))
If the dog likes the bear and the dog chases the bear then the dog is blue.
((("dog" "likes" "bear" "+") ("dog" "chases" "bear" "+")) -> ("dog" "is" "blue" "+"))
If someone likes the bear and the bear visits the mouse then the bear visits the dog.
((("someone" "likes" "bear" "+") ("bear" "visits" "mouse" "+")) -> ("bear" "visits" "dog" "+"))
If someone likes the dog and the dog is blue then they visit the dog.
((("someone" "likes" "dog" "+") ("dog" "is" "blue" "+")) -> ("someone" "visits" "dog" "+"))
If someone visits the bear and the bear chases the rabbit then they like the bear.
((("someone" "visits" "bear" "+") ("bear" "chases" "rabbit" "+")) -> ("someone" "likes" "bear" "+"))
If someone chases the bear then they are young.
((("someone" "chases" "bear" "+")) -> ("someone" "is" "young" "+"))
The rabbit likes the mouse.
True
1
proof
[(triple6)]
("rabbit" "likes" "mouse" "+")
triple6
The dog does not visit the rabbit.
False
1
inv-proof
[(triple3)]
("dog" "visits" "rabbit" "-")
triple3
The dog visits the bear.
True
2
proof
[(((triple2) -> rule2))]
("dog" "visits" "bear" "+")
((triple2) -> (rule2 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The dog does not visit the bear.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "visits" "bear" "-")
((triple2) -> (rule2 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The dog is young.
True
3
proof
[(((((triple3) -> rule1)) -> rule8))]
("dog" "is" "young" "+")
((((triple3) -> (rule1 % int2))) -> (rule8 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog does not like the bear.
False
4
inv-proof
[(((((triple2) -> rule2) triple1) -> rule7))]
("dog" "likes" "bear" "-")
((((triple2) -> (rule2 % int2)) triple1) -> (rule7 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The dog is blue.
True
7
proof
[(((((((triple2) -> rule2) triple1) -> rule7) ((triple3) -> rule1)) -> rule4))]
("dog" "is" "blue" "+")
((((((triple2) -> (rule2 % int4)) triple1) -> (rule7 % int3)) ((triple3) -> (rule1 % int2))) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog visits the bear.
("dog" "visits" "bear" "+")
int4
The dog is not blue.
False
7
inv-proof
[(((((((triple2) -> rule2) triple1) -> rule7) ((triple3) -> rule1)) -> rule4))]
("dog" "is" "blue" "-")
((((((triple2) -> (rule2 % int4)) triple1) -> (rule7 % int3)) ((triple3) -> (rule1 % int2))) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog visits the bear.
("dog" "visits" "bear" "+")
int4
The bear is not cold.
Unknown
inv-rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "cold" "-")
The bear likes the bear.
Unknown
rconc
[@2: The bear likes the bear.[CWA. Example of deepest failure = (rule7 <- rule2 <- FAIL)]]
("bear" "likes" "bear" "+")
The bear does not visit the dog.
Unknown
inv-rconc
[@1: The bear visits the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bear" "visits" "dog" "-")
The mouse visits the dog.
Unknown
rconc
[@1: The mouse visits the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "visits" "dog" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse likes the dog.
Unknown
random
[@0: The mouse likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "dog" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The bear chases the mouse.
Unknown
random
[@0: The bear chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "mouse" "+")
@0: The bear chases the rabbit.[(triple1)] The dog chases the mouse.[(triple2)] The dog visits the rabbit.[(triple3)] The mouse likes the rabbit.[(triple4)] The rabbit likes the dog.[(triple5)] The rabbit likes the mouse.[(triple6)] The rabbit visits the mouse.[(triple7)] @1: The dog chases the bear.[(((triple3) -> rule1))] The dog visits the bear.[(((triple2) -> rule2))] @2: The dog is young.[(((((triple3) -> rule1)) -> rule8))] The dog likes the bear.[(((((triple2) -> rule2) triple1) -> rule7))] @3: The dog is blue.[(((((((triple2) -> rule2) triple1) -> rule7) ((triple3) -> rule1)) -> rule4))] @4: The rabbit visits the dog.[(((triple5 ((((((triple2) -> rule2) triple1) -> rule7) ((triple3) -> rule1)) -> rule4)) -> rule6))]
The bear chases the rabbit.
("bear" "chases" "rabbit" "+")
triple1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple2
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple3
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple4
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple5
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple6
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple7
The dog chases the bear.
("dog" "chases" "bear" "+")
((triple3) -> (rule1 % int1))
The dog chases the bear.
("dog" "chases" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
((triple2) -> (rule2 % int1))
The dog visits the bear.
("dog" "visits" "bear" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((((triple3) -> (rule1 % int2))) -> (rule8 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
((((triple2) -> (rule2 % int2)) triple1) -> (rule7 % int1))
The dog likes the bear.
("dog" "likes" "bear" "+")
int1
The dog visits the bear.
("dog" "visits" "bear" "+")
int2
The dog is blue.
("dog" "is" "blue" "+")
((((((triple2) -> (rule2 % int4)) triple1) -> (rule7 % int3)) ((triple3) -> (rule1 % int2))) -> (rule4 % int1))
The dog is blue.
("dog" "is" "blue" "+")
int1
The dog chases the bear.
("dog" "chases" "bear" "+")
int2
The dog likes the bear.
("dog" "likes" "bear" "+")
int3
The dog visits the bear.
("dog" "visits" "bear" "+")
int4
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
((triple5 ((((((triple2) -> (rule2 % int5)) triple1) -> (rule7 % int4)) ((triple3) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The dog is blue.
("dog" "is" "blue" "+")
int2
The dog chases the bear.
("dog" "chases" "bear" "+")
int3
The dog likes the bear.
("dog" "likes" "bear" "+")
int4
The dog visits the bear.
("dog" "visits" "bear" "+")
int5