The bald eagle chases the rabbit. The lion chases the bald eagle. The rabbit eats the bald eagle. The squirrel eats the lion. The squirrel eats the rabbit. The squirrel is big. The squirrel needs the bald eagle. If someone eats the bald eagle then the bald eagle is red. If the bald eagle is big and the bald eagle chases the lion then the lion eats the squirrel. If someone eats the lion and the lion eats the rabbit then the rabbit chases the bald eagle. If someone needs the squirrel and they chase the rabbit then the rabbit eats the squirrel. If someone chases the squirrel then they are round. If someone eats the bald eagle then they need the squirrel. If someone chases the lion then they need the lion. If someone needs the lion then the lion eats the bald eagle. If someone needs the squirrel then the squirrel chases the lion.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is big.
("squirrel" "is" "big" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
If someone eats the bald eagle then the bald eagle is red.
((("someone" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If the bald eagle is big and the bald eagle chases the lion then the lion eats the squirrel.
((("bald eagle" "is" "big" "+") ("bald eagle" "chases" "lion" "+")) -> ("lion" "eats" "squirrel" "+"))
If someone eats the lion and the lion eats the rabbit then the rabbit chases the bald eagle.
((("someone" "eats" "lion" "+") ("lion" "eats" "rabbit" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If someone needs the squirrel and they chase the rabbit then the rabbit eats the squirrel.
((("someone" "needs" "squirrel" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "eats" "squirrel" "+"))
If someone chases the squirrel then they are round.
((("someone" "chases" "squirrel" "+")) -> ("someone" "is" "round" "+"))
If someone eats the bald eagle then they need the squirrel.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "needs" "squirrel" "+"))
If someone chases the lion then they need the lion.
((("someone" "chases" "lion" "+")) -> ("someone" "needs" "lion" "+"))
If someone needs the lion then the lion eats the bald eagle.
((("someone" "needs" "lion" "+")) -> ("lion" "eats" "bald eagle" "+"))
If someone needs the squirrel then the squirrel chases the lion.
((("someone" "needs" "squirrel" "+")) -> ("squirrel" "chases" "lion" "+"))
The rabbit eats the bald eagle.
True
1
proof
[(triple3)]
("rabbit" "eats" "bald eagle" "+")
triple3
The squirrel is not big.
False
1
inv-proof
[(triple6)]
("squirrel" "is" "big" "-")
triple6
The rabbit needs the squirrel.
True
2
proof
[(((triple3) -> rule6))]
("rabbit" "needs" "squirrel" "+")
((triple3) -> (rule6 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The rabbit does not need the squirrel.
False
2
inv-proof
[(((triple3) -> rule6))]
("rabbit" "needs" "squirrel" "-")
((triple3) -> (rule6 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel chases the lion.
True
3
proof
[(((((triple3) -> rule6)) -> rule9))]
("squirrel" "chases" "lion" "+")
((((triple3) -> (rule6 % int2))) -> (rule9 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The squirrel does not chase the lion.
False
3
inv-proof
[(((((triple3) -> rule6)) -> rule9))]
("squirrel" "chases" "lion" "-")
((((triple3) -> (rule6 % int2))) -> (rule9 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The squirrel needs the lion.
True
4
proof
[(((((((triple3) -> rule6)) -> rule9)) -> rule7))]
("squirrel" "needs" "lion" "+")
((((((triple3) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int3
The squirrel does not need the lion.
False
4
inv-proof
[(((((((triple3) -> rule6)) -> rule9)) -> rule7))]
("squirrel" "needs" "lion" "-")
((((((triple3) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int3
The lion eats the bald eagle.
True
5
proof
[(((((((((triple3) -> rule6)) -> rule9)) -> rule7)) -> rule8))]
("lion" "eats" "bald eagle" "+")
((((((((triple3) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int4
The lion does not eat the bald eagle.
False
5
inv-proof
[(((((((((triple3) -> rule6)) -> rule9)) -> rule7)) -> rule8))]
("lion" "eats" "bald eagle" "-")
((((((((triple3) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int4
The lion needs the squirrel.
True
6
proof
[(((((((((((triple3) -> rule6)) -> rule9)) -> rule7)) -> rule8)) -> rule6))]
("lion" "needs" "squirrel" "+")
((((((((((triple3) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int4
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int5
The lion does not need the squirrel.
False
6
inv-proof
[(((((((((((triple3) -> rule6)) -> rule9)) -> rule7)) -> rule8)) -> rule6))]
("lion" "needs" "squirrel" "-")
((((((((((triple3) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int4
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int5
The bald eagle does not need the lion.
Unknown
inv-rconc
[@1: The bald eagle needs the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "needs" "lion" "-")
The lion is round.
Unknown
rconc
[@1: The lion is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "round" "+")
The rabbit does not need the lion.
Unknown
inv-rconc
[@1: The rabbit needs the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "needs" "lion" "-")
The bald eagle needs the squirrel.
Unknown
rconc
[@1: The bald eagle needs the squirrel.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "needs" "squirrel" "+")
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "round" "-")
The lion needs the lion.
Unknown
rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("lion" "needs" "lion" "+")
The squirrel does not chase the rabbit.
Unknown
inv-random
[@0: The squirrel chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "rabbit" "-")
The bald eagle eats the squirrel.
Unknown
random
[@0: The bald eagle eats the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "squirrel" "+")
The bald eagle is not young.
Unknown
inv-random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "-")
The rabbit eats the lion.
Unknown
random
[@0: The rabbit eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "lion" "+")
The squirrel is not cold.
Unknown
inv-random
[@0: The squirrel is cold.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "cold" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The lion chases the bald eagle.[(triple2)] The rabbit eats the bald eagle.[(triple3)] The squirrel eats the lion.[(triple4)] The squirrel eats the rabbit.[(triple5)] The squirrel is big.[(triple6)] The squirrel needs the bald eagle.[(triple7)] @1: The bald eagle is red.[(((triple3) -> rule1) OR ((((((((((triple3) -> rule6)) -> rule9)) -> rule7)) -> rule8)) -> rule1))] The rabbit needs the squirrel.[(((triple3) -> rule6))] @2: The squirrel chases the lion.[(((((triple3) -> rule6)) -> rule9))] @3: The squirrel needs the lion.[(((((((triple3) -> rule6)) -> rule9)) -> rule7))] @4: The lion eats the bald eagle.[(((((((((triple3) -> rule6)) -> rule9)) -> rule7)) -> rule8))] @5: The lion needs the squirrel.[(((((((((((triple3) -> rule6)) -> rule9)) -> rule7)) -> rule8)) -> rule6))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple2
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple3
The squirrel eats the lion.
("squirrel" "eats" "lion" "+")
triple4
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple5
The squirrel is big.
("squirrel" "is" "big" "+")
triple6
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple7
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple3) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
((((((((((triple3) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule1 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int4
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int5
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
((triple3) -> (rule6 % int1))
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
((((triple3) -> (rule6 % int2))) -> (rule9 % int1))
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int1
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
((((((triple3) -> (rule6 % int3))) -> (rule9 % int2))) -> (rule7 % int1))
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int1
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int2
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int3
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
((((((((triple3) -> (rule6 % int4))) -> (rule9 % int3))) -> (rule7 % int2))) -> (rule8 % int1))
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int1
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int2
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int3
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int4
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
((((((((((triple3) -> (rule6 % int5))) -> (rule9 % int4))) -> (rule7 % int3))) -> (rule8 % int2))) -> (rule6 % int1))
The lion needs the squirrel.
("lion" "needs" "squirrel" "+")
int1
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
int2
The squirrel needs the lion.
("squirrel" "needs" "lion" "+")
int3
The squirrel chases the lion.
("squirrel" "chases" "lion" "+")
int4
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
int5