The bald eagle chases the rabbit. The dog eats the bald eagle. The rabbit eats the squirrel. The squirrel eats the dog. If the bald eagle visits the squirrel then the bald eagle eats the squirrel. If the bald eagle visits the rabbit and the rabbit eats the squirrel then the rabbit visits the bald eagle. If the dog visits the squirrel then the dog is big. If someone eats the dog and they visit the bald eagle then the dog visits the squirrel. If someone eats the dog then they chase the dog. If the rabbit eats the squirrel then the rabbit is rough. If someone eats the bald eagle then they are rough. If the dog is rough then the dog eats the squirrel.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
If the bald eagle visits the squirrel then the bald eagle eats the squirrel.
((("bald eagle" "visits" "squirrel" "+")) -> ("bald eagle" "eats" "squirrel" "+"))
If the bald eagle visits the rabbit and the rabbit eats the squirrel then the rabbit visits the bald eagle.
((("bald eagle" "visits" "rabbit" "+") ("rabbit" "eats" "squirrel" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If the dog visits the squirrel then the dog is big.
((("dog" "visits" "squirrel" "+")) -> ("dog" "is" "big" "+"))
If someone eats the dog and they visit the bald eagle then the dog visits the squirrel.
((("someone" "eats" "dog" "+") ("someone" "visits" "bald eagle" "+")) -> ("dog" "visits" "squirrel" "+"))
If someone eats the dog then they chase the dog.
((("someone" "eats" "dog" "+")) -> ("someone" "chases" "dog" "+"))
If the rabbit eats the squirrel then the rabbit is rough.
((("rabbit" "eats" "squirrel" "+")) -> ("rabbit" "is" "rough" "+"))
If someone eats the bald eagle then they are rough.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "rough" "+"))
If the dog is rough then the dog eats the squirrel.
((("dog" "is" "rough" "+")) -> ("dog" "eats" "squirrel" "+"))
The dog eats the bald eagle.
True
1
proof
[(triple2)]
("dog" "eats" "bald eagle" "+")
triple2
The squirrel does not eat the dog.
False
1
inv-proof
[(triple4)]
("squirrel" "eats" "dog" "-")
triple4
The squirrel chases the dog.
True
2
proof
[(((triple4) -> rule5))]
("squirrel" "chases" "dog" "+")
((triple4) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog is not rough.
False
2
inv-proof
[(((triple2) -> rule7))]
("dog" "is" "rough" "-")
((triple2) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog eats the squirrel.
True
3
proof
[(((((triple2) -> rule7)) -> rule8))]
("dog" "eats" "squirrel" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog does not eat the squirrel.
False
3
inv-proof
[(((((triple2) -> rule7)) -> rule8))]
("dog" "eats" "squirrel" "-")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The squirrel is not rough.
Unknown
inv-rconc
[@1: The squirrel is rough.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "rough" "-")
The dog is big.
Unknown
rconc
[@2: The dog is big.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("dog" "is" "big" "+")
The bald eagle does not eat the squirrel.
Unknown
inv-rconc
[@1: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "eats" "squirrel" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The dog chases the bald eagle.
Unknown
random
[@0: The dog chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The dog eats the bald eagle.[(triple2)] The rabbit eats the squirrel.[(triple3)] The squirrel eats the dog.[(triple4)] @1: The dog is rough.[(((triple2) -> rule7))] The rabbit is rough.[(((triple3) -> rule6))] The squirrel chases the dog.[(((triple4) -> rule5))] @2: The dog eats the squirrel.[(((((triple2) -> rule7)) -> rule8))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple2
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple3
The squirrel eats the dog.
("squirrel" "eats" "dog" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
((triple2) -> (rule7 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple3) -> (rule6 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
((triple4) -> (rule5 % int1))
The squirrel chases the dog.
("squirrel" "chases" "dog" "+")
int1
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
((((triple2) -> (rule7 % int2))) -> (rule8 % int1))
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2