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