The bald eagle eats the cat. The bald eagle eats the dog. The bald eagle is big. The bald eagle likes the cat. The bald eagle likes the rabbit. The bald eagle needs the dog. The cat eats the bald eagle. The dog eats the cat. The dog is big. The dog is cold. The dog is kind. The dog likes the bald eagle. The dog needs the bald eagle. The dog needs the cat. The rabbit eats the cat. The rabbit needs the dog. If someone eats the dog then the dog eats the bald eagle. If someone eats the bald eagle then they need the rabbit. If someone eats the dog then they eat the rabbit.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
If someone eats the dog then the dog eats the bald eagle.
((("someone" "eats" "dog" "+")) -> ("dog" "eats" "bald eagle" "+"))
If someone eats the bald eagle then they need the rabbit.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "rabbit" "+"))
If someone eats the dog then they eat the rabbit.
((("someone" "eats" "dog" "+")) -> ("someone" "eats" "rabbit" "+"))
The bald eagle likes the rabbit.
True
1
proof
[(triple5)]
("bald eagle" "likes" "rabbit" "+")
triple5
The bald eagle does not like the cat.
False
1
inv-proof
[(triple4)]
("bald eagle" "likes" "cat" "-")
triple4
The cat needs the rabbit.
True
2
proof
[(((triple7) -> rule2))]
("cat" "needs" "rabbit" "+")
((triple7) -> (rule2 % int1))
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
int1
The dog does not eat the bald eagle.
False
2
inv-proof
[(((triple2) -> rule1))]
("dog" "eats" "bald eagle" "-")
((triple2) -> (rule1 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog needs the rabbit.
True
3
proof
[(((((triple2) -> rule1)) -> rule2))]
("dog" "needs" "rabbit" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog does not need the rabbit.
False
3
inv-proof
[(((((triple2) -> rule1)) -> rule2))]
("dog" "needs" "rabbit" "-")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The bald eagle does not need the rabbit.
Unknown
inv-rconc
[@1: The bald eagle needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "needs" "rabbit" "-")
The cat eats the rabbit.
Unknown
rconc
[@1: The cat eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "eats" "rabbit" "+")
The rabbit does not need the rabbit.
Unknown
inv-rconc
[@1: The rabbit needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "needs" "rabbit" "-")
The bald eagle likes the dog.
Unknown
random
[@0: The bald eagle likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "dog" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The cat is blue.
Unknown
random
[@0: The cat is blue.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "blue" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the dog.[(triple2)] The bald eagle is big.[(triple3)] The bald eagle likes the cat.[(triple4)] The bald eagle likes the rabbit.[(triple5)] The bald eagle needs the dog.[(triple6)] The cat eats the bald eagle.[(triple7)] The dog eats the cat.[(triple8)] The dog is big.[(triple9)] The dog is cold.[(triple10)] The dog is kind.[(triple11)] The dog likes the bald eagle.[(triple12)] The dog needs the bald eagle.[(triple13)] The dog needs the cat.[(triple14)] The rabbit eats the cat.[(triple15)] The rabbit needs the dog.[(triple16)] @1: The bald eagle eats the rabbit.[(((triple2) -> rule3))] The cat needs the rabbit.[(((triple7) -> rule2))] The dog eats the bald eagle.[(((triple2) -> rule1))] @2: The dog needs the rabbit.[(((((triple2) -> rule1)) -> rule2))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple2
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple3
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple4
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple5
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple6
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple7
The dog eats the cat.
("dog" "eats" "cat" "+")
triple8
The dog is big.
("dog" "is" "big" "+")
triple9
The dog is cold.
("dog" "is" "cold" "+")
triple10
The dog is kind.
("dog" "is" "kind" "+")
triple11
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple12
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple13
The dog needs the cat.
("dog" "needs" "cat" "+")
triple14
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple15
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple16
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((triple2) -> (rule3 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
((triple7) -> (rule2 % int1))
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple2) -> (rule1 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
((((triple2) -> (rule1 % int2))) -> (rule2 % int1))
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2