The bald eagle is young. The cat chases the bald eagle. The cat chases the rabbit. The cat eats the bald eagle. The cat eats the rabbit. The cat visits the rabbit. The rabbit chases the cat. The rabbit is round. The rabbit visits the bald eagle. The rabbit visits the cat. If the rabbit eats the cat then the cat chases the rabbit. If something visits the cat and the cat chases the bald eagle then it chases the rabbit.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If the rabbit eats the cat then the cat chases the rabbit.
((("rabbit" "eats" "cat" "+")) -> ("cat" "chases" "rabbit" "+"))
If something visits the cat and the cat chases the bald eagle then it chases the rabbit.
((("something" "visits" "cat" "+") ("cat" "chases" "bald eagle" "+")) -> ("something" "chases" "rabbit" "+"))
The rabbit visits the bald eagle.
True
1
proof
[(triple9)]
("rabbit" "visits" "bald eagle" "+")
triple9
The cat does not chase the rabbit.
False
1
inv-proof
[(triple3)]
("cat" "chases" "rabbit" "-")
triple3
The rabbit chases the rabbit.
True
3
proof
[(((triple10 triple2) -> rule2))]
("rabbit" "chases" "rabbit" "+")
((triple10 triple2) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
False
3
inv-proof
[(((triple10 triple2) -> rule2))]
("rabbit" "chases" "rabbit" "-")
((triple10 triple2) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The bald eagle does not chase the rabbit.
Unknown
inv-rconc
[@1: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The bald eagle eats the rabbit.
Unknown
random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The rabbit does not chase the bald eagle.
Unknown
inv-random
[@0: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The bald eagle is young.[(triple1)] The cat chases the bald eagle.[(triple2)] The cat chases the rabbit.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat eats the rabbit.[(triple5)] The cat visits the rabbit.[(triple6)] The rabbit chases the cat.[(triple7)] The rabbit is round.[(triple8)] The rabbit visits the bald eagle.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The rabbit chases the rabbit.[(((triple10 triple2) -> rule2))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple2
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple5
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple6
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple7
The rabbit is round.
("rabbit" "is" "round" "+")
triple8
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple9
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple10
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple10 triple2) -> (rule2 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1