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