The bald eagle eats the dog. The bald eagle eats the rabbit. The dog eats the bald eagle. The dog is not big. The dog visits the mouse. The mouse does not chase the bald eagle. The mouse chases the dog. The mouse chases the rabbit. The mouse is big. The mouse is kind. The rabbit eats the mouse. The rabbit visits the bald eagle. If the dog does not eat the mouse then the mouse visits the rabbit. If something chases the rabbit then the rabbit is nice. If something is nice then it visits the dog. If the dog is rough then the dog is not kind. If something chases the bald eagle then the bald eagle is rough. If the rabbit visits the dog then the rabbit eats the dog. If something visits the dog then it chases the mouse. If something visits the rabbit then the rabbit is rough.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
If the dog does not eat the mouse then the mouse visits the rabbit.
((("dog" "eats" "mouse" "~")) -> ("mouse" "visits" "rabbit" "+"))
If something chases the rabbit then the rabbit is nice.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "is" "nice" "+"))
If something is nice then it visits the dog.
((("something" "is" "nice" "+")) -> ("something" "visits" "dog" "+"))
If the dog is rough then the dog is not kind.
((("dog" "is" "rough" "+")) -> ("dog" "is" "kind" "-"))
If something chases the bald eagle then the bald eagle is rough.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If the rabbit visits the dog then the rabbit eats the dog.
((("rabbit" "visits" "dog" "+")) -> ("rabbit" "eats" "dog" "+"))
If something visits the dog then it chases the mouse.
((("something" "visits" "dog" "+")) -> ("something" "chases" "mouse" "+"))
If something visits the rabbit then the rabbit is rough.
((("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "rough" "+"))
The rabbit visits the bald eagle.
True
1
proof
[(triple12)]
("rabbit" "visits" "bald eagle" "+")
triple12
The mouse does not chase the dog.
False
1
inv-proof
[(triple7)]
("mouse" "chases" "dog" "-")
triple7
The rabbit is nice.
True
2
proof
[(((triple8) -> rule2))]
("rabbit" "is" "nice" "+")
((triple8) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is not nice.
False
2
inv-proof
[(((triple8) -> rule2))]
("rabbit" "is" "nice" "-")
((triple8) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit visits the dog.
True
3
proof
[(((((triple8) -> rule2)) -> rule3))]
("rabbit" "visits" "dog" "+")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit does not visit the dog.
False
3
inv-proof
[(((((triple8) -> rule2)) -> rule3))]
("rabbit" "visits" "dog" "-")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit chases the mouse.
True
4
proof
[(((((((triple8) -> rule2)) -> rule3)) -> rule7))]
("rabbit" "chases" "mouse" "+")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit does not eat the dog.
False
4
inv-proof
[(((((((triple8) -> rule2)) -> rule3)) -> rule6))]
("rabbit" "eats" "dog" "-")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The mouse does not visit the rabbit.
Unknown
inv-rconc
[@1: The mouse visits the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "visits" "rabbit" "-")
The mouse chases the mouse.
Unknown
rconc
[@2: The mouse chases the mouse.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("mouse" "chases" "mouse" "+")
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "visits" "dog" "-")
The mouse visits the dog.
Unknown
rconc
[@1: The mouse visits the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "dog" "+")
The dog does not eat the mouse.
Unknown
inv-random
[@0: The dog eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "mouse" "-")
The rabbit visits the mouse.
Unknown
random
[@0: The rabbit visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "mouse" "+")
The bald eagle does not visit the mouse.
Unknown
inv-random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "-")
The bald eagle eats the mouse.
Unknown
random
[@0: The bald eagle eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "mouse" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle eats the rabbit.[(triple2)] The dog eats the bald eagle.[(triple3)] The dog is not big.[(triple4)] The dog visits the mouse.[(triple5)] The mouse chases the dog.[(triple7)] The mouse chases the rabbit.[(triple8)] The mouse does not chase the bald eagle.[(triple6)] The mouse is big.[(triple9)] The mouse is kind.[(triple10)] The rabbit eats the mouse.[(triple11)] The rabbit visits the bald eagle.[(triple12)] @1: The rabbit is nice.[(((triple8) -> rule2))] @2: The rabbit visits the dog.[(((((triple8) -> rule2)) -> rule3))] @3: The rabbit chases the mouse.[(((((((triple8) -> rule2)) -> rule3)) -> rule7))] The rabbit eats the dog.[(((((((triple8) -> rule2)) -> rule3)) -> rule6))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple3
The dog is not big.
("dog" "is" "big" "-")
triple4
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple5
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple7
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple8
The mouse does not chase the bald eagle.
("mouse" "chases" "bald eagle" "-")
triple6
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse is kind.
("mouse" "is" "kind" "+")
triple10
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple11
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple12
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple8) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
((((triple8) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
((((((triple8) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
int3