The bald eagle chases the lion. The bald eagle chases the mouse. The bald eagle eats the lion. The bald eagle eats the rabbit. The bald eagle needs the lion. The lion eats the mouse. The mouse chases the bald eagle. The rabbit chases the bald eagle. The rabbit eats the bald eagle. The rabbit is green. The rabbit is rough. The rabbit needs the mouse. All rough people are big. If someone needs the bald eagle and they need the lion then the bald eagle needs the lion. If someone eats the lion then they are rough. If someone is rough then they chase the bald eagle. If someone chases the bald eagle then they need the mouse. If the rabbit needs the bald eagle then the rabbit chases the bald eagle.
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
All rough people are big.
((("someone" "is" "rough" "+")) -> ("someone" "is" "big" "+"))
If someone needs the bald eagle and they need the lion then the bald eagle needs the lion.
((("someone" "needs" "bald eagle" "+") ("someone" "needs" "lion" "+")) -> ("bald eagle" "needs" "lion" "+"))
If someone eats the lion then they are rough.
((("someone" "eats" "lion" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they chase the bald eagle.
((("someone" "is" "rough" "+")) -> ("someone" "chases" "bald eagle" "+"))
If someone chases the bald eagle then they need the mouse.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "needs" "mouse" "+"))
If the rabbit needs the bald eagle then the rabbit chases the bald eagle.
((("rabbit" "needs" "bald eagle" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
The mouse chases the bald eagle.
True
1
proof
[(triple7)]
("mouse" "chases" "bald eagle" "+")
triple7
The bald eagle does not eat the rabbit.
False
1
inv-proof
[(triple4)]
("bald eagle" "eats" "rabbit" "-")
triple4
The rabbit is big.
True
2
proof
[(((triple11) -> rule1))]
("rabbit" "is" "big" "+")
((triple11) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle is not rough.
False
2
inv-proof
[(((triple3) -> rule3))]
("bald eagle" "is" "rough" "-")
((triple3) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle chases the bald eagle.
True
3
proof
[(((((triple3) -> rule3)) -> rule4))]
("bald eagle" "chases" "bald eagle" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is not big.
False
3
inv-proof
[(((((triple3) -> rule3)) -> rule1))]
("bald eagle" "is" "big" "-")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle needs the mouse.
True
4
proof
[(((((((triple3) -> rule3)) -> rule4)) -> rule5))]
("bald eagle" "needs" "mouse" "+")
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The bald eagle does not need the mouse.
False
4
inv-proof
[(((((((triple3) -> rule3)) -> rule4)) -> rule5))]
("bald eagle" "needs" "mouse" "-")
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3
The lion does not chase the bald eagle.
Unknown
inv-rconc
[@2: The lion chases the bald eagle.[CWA. Example of deepest failure = (rule4 <- rule3 <- FAIL)]]
("lion" "chases" "bald eagle" "-")
The mouse is big.
Unknown
rconc
[@2: The mouse is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("mouse" "is" "big" "+")
The lion is not big.
Unknown
inv-rconc
[@2: The lion is big.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("lion" "is" "big" "-")
The lion is rough.
Unknown
rconc
[@1: The lion is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "is" "rough" "+")
The mouse does not need the lion.
Unknown
inv-random
[@0: The mouse needs the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "lion" "-")
The lion eats the bald eagle.
Unknown
random
[@0: The lion eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "bald eagle" "+")
The mouse is not round.
Unknown
inv-random
[@0: The mouse is round.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "round" "-")
The rabbit eats the lion.
Unknown
random
[@0: The rabbit eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "lion" "+")
@0: The bald eagle chases the lion.[(triple1)] The bald eagle chases the mouse.[(triple2)] The bald eagle eats the lion.[(triple3)] The bald eagle eats the rabbit.[(triple4)] The bald eagle needs the lion.[(triple5)] The lion eats the mouse.[(triple6)] The mouse chases the bald eagle.[(triple7)] The rabbit chases the bald eagle.[(triple8 OR ((triple11) -> rule4))] The rabbit eats the bald eagle.[(triple9)] The rabbit is green.[(triple10)] The rabbit is rough.[(triple11)] The rabbit needs the mouse.[(triple12 OR ((triple8) -> rule5) OR ((((triple11) -> rule4)) -> rule5))] @1: The bald eagle is rough.[(((triple3) -> rule3))] The mouse needs the mouse.[(((triple7) -> rule5))] The rabbit is big.[(((triple11) -> rule1))] @2: The bald eagle chases the bald eagle.[(((((triple3) -> rule3)) -> rule4))] The bald eagle is big.[(((((triple3) -> rule3)) -> rule1))] @3: The bald eagle needs the mouse.[(((((((triple3) -> rule3)) -> rule4)) -> rule5))]
The bald eagle chases the lion.
("bald eagle" "chases" "lion" "+")
triple1
The bald eagle chases the mouse.
("bald eagle" "chases" "mouse" "+")
triple2
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
triple5
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple6
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple7
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple8
((triple11) -> (rule4 % int1))
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple9
The rabbit is green.
("rabbit" "is" "green" "+")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple11
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple12
((triple8) -> (rule5 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
((((triple11) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
int1
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
((triple3) -> (rule3 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple7) -> (rule5 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The rabbit is big.
("rabbit" "is" "big" "+")
((triple11) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((triple3) -> (rule3 % int2))) -> (rule4 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle is big.
("bald eagle" "is" "big" "+")
((((triple3) -> (rule3 % int2))) -> (rule1 % int1))
The bald eagle is big.
("bald eagle" "is" "big" "+")
int1
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int2
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
((((((triple3) -> (rule3 % int3))) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle needs the mouse.
("bald eagle" "needs" "mouse" "+")
int1
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int3