The bald eagle eats the lion. The bald eagle needs the cat. The cat needs the dog. The cat sees the lion. The dog is big. The dog is cold. The dog is green. The dog is kind. The dog needs the bald eagle. The lion eats the dog. The lion sees the bald eagle. The lion sees the cat. If the bald eagle is red and the bald eagle is cold then the bald eagle needs the cat. If someone is cold and they eat the cat then the cat needs the dog. If someone is cold and they see the dog then they eat the cat.
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat sees the lion.
("cat" "sees" "lion" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
If the bald eagle is red and the bald eagle is cold then the bald eagle needs the cat.
((("bald eagle" "is" "red" "+") ("bald eagle" "is" "cold" "+")) -> ("bald eagle" "needs" "cat" "+"))
If someone is cold and they eat the cat then the cat needs the dog.
((("someone" "is" "cold" "+") ("someone" "eats" "cat" "+")) -> ("cat" "needs" "dog" "+"))
If someone is cold and they see the dog then they eat the cat.
((("someone" "is" "cold" "+") ("someone" "sees" "dog" "+")) -> ("someone" "eats" "cat" "+"))
The dog needs the bald eagle.
True
1
proof
[(triple9)]
("dog" "needs" "bald eagle" "+")
triple9
The cat does not need the dog.
False
1
inv-proof
[(triple3)]
("cat" "needs" "dog" "-")
triple3
The dog does not eat the cat.
Unknown
inv-rconc
[@1: The dog eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "eats" "cat" "-")
The dog needs the cat.
Unknown
random
[@0: The dog needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "cat" "+")
@0: The bald eagle eats the lion.[(triple1)] The bald eagle needs the cat.[(triple2)] The cat needs the dog.[(triple3)] The cat sees the lion.[(triple4)] The dog is big.[(triple5)] The dog is cold.[(triple6)] The dog is green.[(triple7)] The dog is kind.[(triple8)] The dog needs the bald eagle.[(triple9)] The lion eats the dog.[(triple10)] The lion sees the bald eagle.[(triple11)] The lion sees the cat.[(triple12)]
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple1
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple2
The cat needs the dog.
("cat" "needs" "dog" "+")
triple3
The cat sees the lion.
("cat" "sees" "lion" "+")
triple4
The dog is big.
("dog" "is" "big" "+")
triple5
The dog is cold.
("dog" "is" "cold" "+")
triple6
The dog is green.
("dog" "is" "green" "+")
triple7
The dog is kind.
("dog" "is" "kind" "+")
triple8
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple9
The lion eats the dog.
("lion" "eats" "dog" "+")
triple10
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple11
The lion sees the cat.
("lion" "sees" "cat" "+")
triple12