The bald eagle eats the cow. The bald eagle eats the lion. The bald eagle is nice. The bald eagle is red. The bald eagle is rough. The bald eagle likes the cow. The bear is young. The bear likes the cow. The cow likes the bald eagle. The lion eats the bald eagle. The lion is rough. If someone needs the bear and the bear is young then the bear needs the cow. If someone eats the bald eagle and the bald eagle is young then the bald eagle likes the cow. If the lion needs the bear then the lion eats the bear. If someone is red then they need the lion. If someone is green and they need the bear then they need the cow. If someone needs the bear and the bear needs the cow then the bear is red. If someone is red and they need the lion then they need the bear.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bear is young.
("bear" "is" "young" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
The lion is rough.
("lion" "is" "rough" "+")
If someone needs the bear and the bear is young then the bear needs the cow.
((("someone" "needs" "bear" "+") ("bear" "is" "young" "+")) -> ("bear" "needs" "cow" "+"))
If someone eats the bald eagle and the bald eagle is young then the bald eagle likes the cow.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "is" "young" "+")) -> ("bald eagle" "likes" "cow" "+"))
If the lion needs the bear then the lion eats the bear.
((("lion" "needs" "bear" "+")) -> ("lion" "eats" "bear" "+"))
If someone is red then they need the lion.
((("someone" "is" "red" "+")) -> ("someone" "needs" "lion" "+"))
If someone is green and they need the bear then they need the cow.
((("someone" "is" "green" "+") ("someone" "needs" "bear" "+")) -> ("someone" "needs" "cow" "+"))
If someone needs the bear and the bear needs the cow then the bear is red.
((("someone" "needs" "bear" "+") ("bear" "needs" "cow" "+")) -> ("bear" "is" "red" "+"))
If someone is red and they need the lion then they need the bear.
((("someone" "is" "red" "+") ("someone" "needs" "lion" "+")) -> ("someone" "needs" "bear" "+"))
The bald eagle eats the lion.
True
1
proof
[(triple2)]
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle does not eat the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "cow" "-")
triple1
The bald eagle needs the lion.
True
2
proof
[(((triple4) -> rule4))]
("bald eagle" "needs" "lion" "+")
((triple4) -> (rule4 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle does not need the lion.
False
2
inv-proof
[(((triple4) -> rule4))]
("bald eagle" "needs" "lion" "-")
((triple4) -> (rule4 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle needs the bear.
True
4
proof
[(((triple4 ((triple4) -> rule4)) -> rule7))]
("bald eagle" "needs" "bear" "+")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bald eagle does not need the bear.
False
4
inv-proof
[(((triple4 ((triple4) -> rule4)) -> rule7))]
("bald eagle" "needs" "bear" "-")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bear needs the cow.
True
6
proof
[(((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1))]
("bear" "needs" "cow" "+")
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule7 % int2)) triple7) -> (rule1 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int3
The bear does not need the cow.
False
6
inv-proof
[(((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1))]
("bear" "needs" "cow" "-")
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule7 % int2)) triple7) -> (rule1 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int3
The bear is red.
True
11
proof
[(((((triple4 ((triple4) -> rule4)) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1)) -> rule6))]
("bear" "is" "red" "+")
((((triple4 ((triple4) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4 ((triple4) -> (rule4 % int4))) -> (rule7 % int3)) triple7) -> (rule1 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int4
The bear is not red.
False
11
inv-proof
[(((((triple4 ((triple4) -> rule4)) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1)) -> rule6))]
("bear" "is" "red" "-")
((((triple4 ((triple4) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4 ((triple4) -> (rule4 % int4))) -> (rule7 % int3)) triple7) -> (rule1 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int4
The bear needs the lion.
True
12
proof
[(((((((triple4 ((triple4) -> rule4)) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1)) -> rule6)) -> rule4))]
("bear" "needs" "lion" "+")
((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple4 ((triple4) -> (rule4 % int5))) -> (rule7 % int4)) triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear needs the cow.
("bear" "needs" "cow" "+")
int3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int5
The bear does not need the lion.
False
12
inv-proof
[(((((((triple4 ((triple4) -> rule4)) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1)) -> rule6)) -> rule4))]
("bear" "needs" "lion" "-")
((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple4 ((triple4) -> (rule4 % int5))) -> (rule7 % int4)) triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear needs the cow.
("bear" "needs" "cow" "+")
int3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int5
The cow does not need the lion.
Unknown
inv-rconc
[@1: The cow needs the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "needs" "lion" "-")
The lion eats the bear.
Unknown
rconc
[@2: The lion eats the bear.[CWA. Example of deepest failure = (rule3 <- rule7 <- FAIL)]]
("lion" "eats" "bear" "+")
The lion does not need the lion.
Unknown
inv-rconc
[@1: The lion needs the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "needs" "lion" "-")
The bald eagle needs the cow.
Unknown
rconc
[@1: The bald eagle needs the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("bald eagle" "needs" "cow" "+")
The lion does not need the cow.
Unknown
inv-rconc
[@1: The lion needs the cow.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "needs" "cow" "-")
The cow needs the bear.
Unknown
rconc
[@1: The cow needs the bear.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "needs" "bear" "+")
The lion is not nice.
Unknown
inv-random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
The bear does not need the bald eagle.
Unknown
inv-random
[@0: The bear needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bald eagle" "-")
The bear likes the lion.
Unknown
random
[@0: The bear likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "lion" "+")
The cow is not green.
Unknown
inv-random
[@0: The cow is green.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "green" "-")
The bear eats the cow.
Unknown
random
[@0: The bear eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cow" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle eats the lion.[(triple2)] The bald eagle is nice.[(triple3)] The bald eagle is red.[(triple4)] The bald eagle is rough.[(triple5)] The bald eagle likes the cow.[(triple6)] The bear is young.[(triple7)] The bear likes the cow.[(triple8)] The cow likes the bald eagle.[(triple9)] The lion eats the bald eagle.[(triple10)] The lion is rough.[(triple11)] @1: The bald eagle needs the lion.[(((triple4) -> rule4))] @2: The bald eagle needs the bear.[(((triple4 ((triple4) -> rule4)) -> rule7))] @3: The bear needs the cow.[(((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1))] @4: The bear is red.[(((((triple4 ((triple4) -> rule4)) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1)) -> rule6))] @5: The bear needs the lion.[(((((((triple4 ((triple4) -> rule4)) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1)) -> rule6)) -> rule4))] @6: The bear needs the bear.[(((((((triple4 ((triple4) -> rule4)) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1)) -> rule6) ((((((triple4 ((triple4) -> rule4)) -> rule7) ((((triple4 ((triple4) -> rule4)) -> rule7) triple7) -> rule1)) -> rule6)) -> rule4)) -> rule7))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle eats the lion.
("bald eagle" "eats" "lion" "+")
triple2
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple3
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple4
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple5
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple6
The bear is young.
("bear" "is" "young" "+")
triple7
The bear likes the cow.
("bear" "likes" "cow" "+")
triple8
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple9
The lion eats the bald eagle.
("lion" "eats" "bald eagle" "+")
triple10
The lion is rough.
("lion" "is" "rough" "+")
triple11
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
((triple4) -> (rule4 % int1))
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
((triple4 ((triple4) -> (rule4 % int2))) -> (rule7 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int2
The bear needs the cow.
("bear" "needs" "cow" "+")
((((triple4 ((triple4) -> (rule4 % int3))) -> (rule7 % int2)) triple7) -> (rule1 % int1))
The bear needs the cow.
("bear" "needs" "cow" "+")
int1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int2
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int3
The bear is red.
("bear" "is" "red" "+")
((((triple4 ((triple4) -> (rule4 % int4))) -> (rule7 % int3)) ((((triple4 ((triple4) -> (rule4 % int4))) -> (rule7 % int3)) triple7) -> (rule1 % int2))) -> (rule6 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear needs the cow.
("bear" "needs" "cow" "+")
int2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int3
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int4
The bear needs the lion.
("bear" "needs" "lion" "+")
((((((triple4 ((triple4) -> (rule4 % int5))) -> (rule7 % int4)) ((((triple4 ((triple4) -> (rule4 % int5))) -> (rule7 % int4)) triple7) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule4 % int1))
The bear needs the lion.
("bear" "needs" "lion" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear needs the cow.
("bear" "needs" "cow" "+")
int3
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int4
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int5
The bear needs the bear.
("bear" "needs" "bear" "+")
((((((triple4 ((triple4) -> (rule4 % int6))) -> (rule7 % int5)) ((((triple4 ((triple4) -> (rule4 % int6))) -> (rule7 % int5)) triple7) -> (rule1 % int4))) -> (rule6 % int3)) ((((((triple4 ((triple4) -> (rule4 % int6))) -> (rule7 % int5)) ((((triple4 ((triple4) -> (rule4 % int6))) -> (rule7 % int5)) triple7) -> (rule1 % int4))) -> (rule6 % int3))) -> (rule4 % int2))) -> (rule7 % int1))
The bear needs the bear.
("bear" "needs" "bear" "+")
int1
The bear needs the lion.
("bear" "needs" "lion" "+")
int2
The bear is red.
("bear" "is" "red" "+")
int3
The bear needs the cow.
("bear" "needs" "cow" "+")
int4
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int5
The bald eagle needs the lion.
("bald eagle" "needs" "lion" "+")
int6