The bald eagle chases the dog. The bald eagle eats the dog. The bald eagle eats the rabbit. The bald eagle is big. The bald eagle is not nice. The bald eagle visits the dog. The cat eats the dog. The cat does not eat the rabbit. The cat is not nice. The cat visits the rabbit. The dog chases the rabbit. The dog eats the cat. The dog is big. The dog is nice. The rabbit does not chase the cat. The rabbit is round. If something chases the dog and it is not round then it visits the rabbit. If the cat is big then the cat eats the bald eagle. If something eats the bald eagle and the bald eagle is red then it visits the cat. If something is red then it does not chase the dog. If something visits the cat then it eats the dog. If something eats the cat then the cat does not visit the bald eagle. If something is red and it does not eat the dog then the dog eats the cat. If something visits the bald eagle then the bald eagle eats the rabbit.
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
The cat is not nice.
("cat" "is" "nice" "-")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is nice.
("dog" "is" "nice" "+")
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
If something chases the dog and it is not round then it visits the rabbit.
((("something" "chases" "dog" "+") ("something" "is" "round" "~")) -> ("something" "visits" "rabbit" "+"))
If the cat is big then the cat eats the bald eagle.
((("cat" "is" "big" "+")) -> ("cat" "eats" "bald eagle" "+"))
If something eats the bald eagle and the bald eagle is red then it visits the cat.
((("something" "eats" "bald eagle" "+") ("bald eagle" "is" "red" "+")) -> ("something" "visits" "cat" "+"))
If something is red then it does not chase the dog.
((("something" "is" "red" "+")) -> ("something" "chases" "dog" "-"))
If something visits the cat then it eats the dog.
((("something" "visits" "cat" "+")) -> ("something" "eats" "dog" "+"))
If something eats the cat then the cat does not visit the bald eagle.
((("something" "eats" "cat" "+")) -> ("cat" "visits" "bald eagle" "-"))
If something is red and it does not eat the dog then the dog eats the cat.
((("something" "is" "red" "+") ("something" "eats" "dog" "~")) -> ("dog" "eats" "cat" "+"))
If something visits the bald eagle then the bald eagle eats the rabbit.
((("something" "visits" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
The cat visits the rabbit.
True
1
proof
[(triple10)]
("cat" "visits" "rabbit" "+")
triple10
The bald eagle is nice.
False
1
inv-proof
[(triple5)]
("bald eagle" "is" "nice" "+")
triple5
The cat does not visit the bald eagle.
True
2
proof
[(((triple12) -> rule6))]
("cat" "visits" "bald eagle" "-")
((triple12) -> (rule6 % int1))
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
int1
The cat visits the bald eagle.
False
2
inv-proof
[(((triple12) -> rule6))]
("cat" "visits" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
int1
The bald eagle does not visit the cat.
Unknown
inv-rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "visits" "cat" "-")
The rabbit visits the cat.
Unknown
rconc
[@1: The rabbit visits the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "visits" "cat" "+")
The rabbit is not big.
Unknown
inv-random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "-")
The cat chases the bald eagle.
Unknown
random
[@0: The cat chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bald eagle" "+")
@0: The bald eagle chases the dog.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle eats the rabbit.[(triple3)] The bald eagle is big.[(triple4)] The bald eagle is not nice.[(triple5)] The bald eagle visits the dog.[(triple6)] The cat does not eat the rabbit.[(triple8)] The cat eats the dog.[(triple7)] The cat is not nice.[(triple9)] The cat visits the rabbit.[(triple10)] The dog chases the rabbit.[(triple11)] The dog eats the cat.[(triple12)] The dog is big.[(triple13)] The dog is nice.[(triple14)] The rabbit does not chase the cat.[(triple15)] The rabbit is round.[(triple16)] @1: The cat does not visit the bald eagle.[(((triple12) -> rule6))]
The bald eagle chases the dog.
("bald eagle" "chases" "dog" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple3
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple4
The bald eagle is not nice.
("bald eagle" "is" "nice" "-")
triple5
The bald eagle visits the dog.
("bald eagle" "visits" "dog" "+")
triple6
The cat does not eat the rabbit.
("cat" "eats" "rabbit" "-")
triple8
The cat eats the dog.
("cat" "eats" "dog" "+")
triple7
The cat is not nice.
("cat" "is" "nice" "-")
triple9
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple10
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple11
The dog eats the cat.
("dog" "eats" "cat" "+")
triple12
The dog is big.
("dog" "is" "big" "+")
triple13
The dog is nice.
("dog" "is" "nice" "+")
triple14
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
triple15
The rabbit is round.
("rabbit" "is" "round" "+")
triple16
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
((triple12) -> (rule6 % int1))
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
int1