The bald eagle chases the lion. The bald eagle is cold. The cat eats the bald eagle. The cat is nice. The cat needs the lion. The cat needs the mouse. The lion chases the bald eagle. The lion eats the mouse. The lion is not cold. The lion does not need the cat. The mouse chases the bald eagle. The mouse eats the bald eagle. The mouse eats the cat. The mouse eats the lion. The mouse is not rough. The mouse needs the cat. If something needs the mouse then the mouse needs the lion. If something is cold and it does not chase the bald eagle then the bald eagle chases the lion. If something needs the bald eagle then the bald eagle eats the cat. If something is big and it needs the bald eagle then it is rough. If something is rough and it chases the lion then it does not need the mouse. If something chases the mouse and it is nice then it is not cold. If the mouse is big then the mouse does not chase the lion. If something needs the mouse then the mouse is big.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is not cold.
("lion" "is" "cold" "-")
The lion does not need the cat.
("lion" "needs" "cat" "-")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse is not rough.
("mouse" "is" "rough" "-")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
If something needs the mouse then the mouse needs the lion.
((("something" "needs" "mouse" "+")) -> ("mouse" "needs" "lion" "+"))
If something is cold and it does not chase the bald eagle then the bald eagle chases the lion.
((("something" "is" "cold" "+") ("something" "chases" "bald eagle" "~")) -> ("bald eagle" "chases" "lion" "+"))
If something needs the bald eagle then the bald eagle eats the cat.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If something is big and it needs the bald eagle then it is rough.
((("something" "is" "big" "+") ("something" "needs" "bald eagle" "+")) -> ("something" "is" "rough" "+"))
If something is rough and it chases the lion then it does not need the mouse.
((("something" "is" "rough" "+") ("something" "chases" "lion" "+")) -> ("something" "needs" "mouse" "-"))
If something chases the mouse and it is nice then it is not cold.
((("something" "chases" "mouse" "+") ("something" "is" "nice" "+")) -> ("something" "is" "cold" "-"))
If the mouse is big then the mouse does not chase the lion.
((("mouse" "is" "big" "+")) -> ("mouse" "chases" "lion" "-"))
If something needs the mouse then the mouse is big.
((("something" "needs" "mouse" "+")) -> ("mouse" "is" "big" "+"))
The mouse eats the bald eagle.
True
1
proof
[(triple12)]
("mouse" "eats" "bald eagle" "+")
triple12
The lion is cold.
False
1
inv-proof
[(triple9)]
("lion" "is" "cold" "+")
triple9
The mouse needs the lion.
True
2
proof
[(((triple6) -> rule1))]
("mouse" "needs" "lion" "+")
((triple6) -> (rule1 % int1))
The mouse needs the lion.
("mouse" "needs" "lion" "+")
int1
The mouse is not big.
False
2
inv-proof
[(((triple6) -> rule8))]
("mouse" "is" "big" "-")
((triple6) -> (rule8 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse does not chase the lion.
True
3
proof
[(((((triple6) -> rule8)) -> rule7))]
("mouse" "chases" "lion" "-")
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The mouse chases the lion.
False
3
inv-proof
[(((((triple6) -> rule8)) -> rule7))]
("mouse" "chases" "lion" "+")
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2
The cat is not rough.
Unknown
inv-rconc
[@1: The cat is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "is" "rough" "-")
The bald eagle eats the cat.
Unknown
rconc
[@1: The bald eagle eats the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "eats" "cat" "+")
The bald eagle is not rough.
Unknown
inv-rconc
[@1: The bald eagle is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "rough" "-")
The cat is big.
Unknown
random
[@0: The cat is big.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "big" "+")
The cat does not eat the cat.
Unknown
inv-random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle is cold.[(triple2)] The cat eats the bald eagle.[(triple3)] The cat is nice.[(triple4)] The cat needs the lion.[(triple5)] The cat needs the mouse.[(triple6)] The lion chases the bald eagle.[(triple7)] The lion does not need the cat.[(triple10)] The lion eats the mouse.[(triple8)] The lion is not cold.[(triple9)] The mouse chases the bald eagle.[(triple11)] The mouse eats the bald eagle.[(triple12)] The mouse eats the cat.[(triple13)] The mouse eats the lion.[(triple14)] The mouse is not rough.[(triple15)] The mouse needs the cat.[(triple16)] @1: The mouse is big.[(((triple6) -> rule8))] The mouse needs the lion.[(((triple6) -> rule1))] @2: The mouse does not chase the lion.[(((((triple6) -> rule8)) -> rule7))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat needs the lion.
("cat" "needs" "lion" "+")
triple5
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple6
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple7
The lion does not need the cat.
("lion" "needs" "cat" "-")
triple10
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple8
The lion is not cold.
("lion" "is" "cold" "-")
triple9
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple11
The mouse eats the bald eagle.
("mouse" "eats" "bald eagle" "+")
triple12
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple13
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple14
The mouse is not rough.
("mouse" "is" "rough" "-")
triple15
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple16
The mouse is big.
("mouse" "is" "big" "+")
((triple6) -> (rule8 % int1))
The mouse is big.
("mouse" "is" "big" "+")
int1
The mouse needs the lion.
("mouse" "needs" "lion" "+")
((triple6) -> (rule1 % int1))
The mouse needs the lion.
("mouse" "needs" "lion" "+")
int1
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
((((triple6) -> (rule8 % int2))) -> (rule7 % int1))
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
int1
The mouse is big.
("mouse" "is" "big" "+")
int2