The bald eagle chases the lion. The bald eagle eats the lion. The bald eagle is cold. The bald eagle is rough. The bald eagle needs the lion. The dog eats the lion. The dog is rough. The dog needs the bald eagle. The dog needs the mouse. The lion chases the mouse. The lion is cold. The lion needs the dog. The mouse chases the lion. The mouse eats the lion. The mouse needs the bald eagle. The mouse needs the lion. If someone is rough and they chase the bald eagle then they chase the mouse. If someone chases the dog then the dog chases the mouse. All cold people are blue. If someone eats the mouse and the mouse is nice then the mouse eats the bald eagle. If someone is red and they need the mouse then the mouse is blue. If someone chases the bald eagle and the bald eagle is rough then they are cold. If the mouse needs the bald eagle then the bald eagle is rough. If someone needs the lion and the lion needs the mouse then they need the dog.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The mouse chases the lion.
("mouse" "chases" "lion" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
If someone is rough and they chase the bald eagle then they chase the mouse.
((("someone" "is" "rough" "+") ("someone" "chases" "bald eagle" "+")) -> ("someone" "chases" "mouse" "+"))
If someone chases the dog then the dog chases the mouse.
((("someone" "chases" "dog" "+")) -> ("dog" "chases" "mouse" "+"))
All cold people are blue.
((("someone" "is" "cold" "+")) -> ("someone" "is" "blue" "+"))
If someone eats the mouse and the mouse is nice then the mouse eats the bald eagle.
((("someone" "eats" "mouse" "+") ("mouse" "is" "nice" "+")) -> ("mouse" "eats" "bald eagle" "+"))
If someone is red and they need the mouse then the mouse is blue.
((("someone" "is" "red" "+") ("someone" "needs" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If someone chases the bald eagle and the bald eagle is rough then they are cold.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "is" "rough" "+")) -> ("someone" "is" "cold" "+"))
If the mouse needs the bald eagle then the bald eagle is rough.
((("mouse" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "rough" "+"))
If someone needs the lion and the lion needs the mouse then they need the dog.
((("someone" "needs" "lion" "+") ("lion" "needs" "mouse" "+")) -> ("someone" "needs" "dog" "+"))
The lion needs the dog.
True
1
proof
[(triple12)]
("lion" "needs" "dog" "+")
triple12
The bald eagle does not eat the lion.
False
1
inv-proof
[(triple2)]
("bald eagle" "eats" "lion" "-")
triple2
The lion is blue.
True
2
proof
[(((triple11) -> rule3))]
("lion" "is" "blue" "+")
((triple11) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1
The bald eagle is not blue.
False
2
inv-proof
[(((triple3) -> rule3))]
("bald eagle" "is" "blue" "-")
((triple3) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The dog does not chase the mouse.
Unknown
inv-rconc
[@1: The dog chases the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "mouse" "-")
The dog is cold.
Unknown
rconc
[@1: The dog is cold.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "is" "cold" "+")
The mouse does not chase the dog.
Unknown
inv-random
[@0: The mouse chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "dog" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is cold.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple15) -> rule7))] The bald eagle needs the lion.[(triple5)] The dog eats the lion.[(triple6)] The dog is rough.[(triple7)] The dog needs the bald eagle.[(triple8)] The dog needs the mouse.[(triple9)] The lion chases the mouse.[(triple10)] The lion is cold.[(triple11)] The lion needs the dog.[(triple12)] The mouse chases the lion.[(triple13)] The mouse eats the lion.[(triple14)] The mouse needs the bald eagle.[(triple15)] The mouse needs the lion.[(triple16)] @1: The bald eagle is blue.[(((triple3) -> rule3))] The lion is blue.[(((triple11) -> rule3))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
((triple15) -> (rule7 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The dog eats the lion.
("dog" "eats" "lion" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple8
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple9
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple10
The lion is cold.
("lion" "is" "cold" "+")
triple11
The lion needs the dog.
("lion" "needs" "dog" "+")
triple12
The mouse chases the lion.
("mouse" "chases" "lion" "+")
triple13
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple14
The mouse needs the bald eagle.
("mouse" "needs" "bald eagle" "+")
triple15
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple16
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
((triple3) -> (rule3 % int1))
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
int1
The lion is blue.
("lion" "is" "blue" "+")
((triple11) -> (rule3 % int1))
The lion is blue.
("lion" "is" "blue" "+")
int1