The bald eagle eats the dog. The bald eagle likes the bear. The bald eagle sees the bear. The bear eats the dog. The bear is rough. The bear is round. The bear likes the rabbit. The dog is not big. The dog likes the rabbit. The rabbit sees the dog. If someone eats the bear and the bear is rough then they eat the rabbit. If the rabbit does not like the dog then the dog is not round. If the dog sees the rabbit and the dog likes the rabbit then the dog eats the bald eagle. If someone is rough and they see the bald eagle then the bald eagle eats the bear. If someone eats the rabbit then they see the bald eagle. If someone eats the bald eagle and they are not kind then the bald eagle does not like the dog. If someone sees the bear then the bear eats the rabbit.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The dog is not big.
("dog" "is" "big" "-")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
If someone eats the bear and the bear is rough then they eat the rabbit.
((("someone" "eats" "bear" "+") ("bear" "is" "rough" "+")) -> ("someone" "eats" "rabbit" "+"))
If the rabbit does not like the dog then the dog is not round.
((("rabbit" "likes" "dog" "~")) -> ("dog" "is" "round" "-"))
If the dog sees the rabbit and the dog likes the rabbit then the dog eats the bald eagle.
((("dog" "sees" "rabbit" "+") ("dog" "likes" "rabbit" "+")) -> ("dog" "eats" "bald eagle" "+"))
If someone is rough and they see the bald eagle then the bald eagle eats the bear.
((("someone" "is" "rough" "+") ("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "eats" "bear" "+"))
If someone eats the rabbit then they see the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone eats the bald eagle and they are not kind then the bald eagle does not like the dog.
((("someone" "eats" "bald eagle" "+") ("someone" "is" "kind" "~")) -> ("bald eagle" "likes" "dog" "-"))
If someone sees the bear then the bear eats the rabbit.
((("someone" "sees" "bear" "+")) -> ("bear" "eats" "rabbit" "+"))
The bald eagle sees the bear.
True
1
proof
[(triple3)]
("bald eagle" "sees" "bear" "+")
triple3
The bald eagle does not like the bear.
False
1
inv-proof
[(triple2)]
("bald eagle" "likes" "bear" "-")
triple2
The bear eats the rabbit.
True
2
proof
[(((triple3) -> rule7))]
("bear" "eats" "rabbit" "+")
((triple3) -> (rule7 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear does not eat the rabbit.
False
2
inv-proof
[(((triple3) -> rule7))]
("bear" "eats" "rabbit" "-")
((triple3) -> (rule7 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear sees the bald eagle.
True
3
proof
[(((((triple3) -> rule7)) -> rule5))]
("bear" "sees" "bald eagle" "+")
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The bear does not see the bald eagle.
False
3
inv-proof
[(((((triple3) -> rule7)) -> rule5))]
("bear" "sees" "bald eagle" "-")
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The bald eagle eats the bear.
True
5
proof
[(((triple5 ((((triple3) -> rule7)) -> rule5)) -> rule4))]
("bald eagle" "eats" "bear" "+")
((triple5 ((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The bald eagle does not eat the bear.
False
5
inv-proof
[(((triple5 ((((triple3) -> rule7)) -> rule5)) -> rule4))]
("bald eagle" "eats" "bear" "-")
((triple5 ((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The bald eagle eats the rabbit.
True
7
proof
[(((((triple5 ((((triple3) -> rule7)) -> rule5)) -> rule4) triple5) -> rule1))]
("bald eagle" "eats" "rabbit" "+")
((((triple5 ((((triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4
The bald eagle does not eat the rabbit.
False
7
inv-proof
[(((((triple5 ((((triple3) -> rule7)) -> rule5)) -> rule4) triple5) -> rule1))]
("bald eagle" "eats" "rabbit" "-")
((((triple5 ((((triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4
The bald eagle sees the bald eagle.
True
8
proof
[(((((((triple5 ((((triple3) -> rule7)) -> rule5)) -> rule4) triple5) -> rule1)) -> rule5))]
("bald eagle" "sees" "bald eagle" "+")
((((((triple5 ((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int4
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int5
The bald eagle does not see the bald eagle.
False
8
inv-proof
[(((((((triple5 ((((triple3) -> rule7)) -> rule5)) -> rule4) triple5) -> rule1)) -> rule5))]
("bald eagle" "sees" "bald eagle" "-")
((((((triple5 ((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int4
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int5
The dog does not see the bald eagle.
Unknown
inv-rconc
[@2: The dog sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("dog" "sees" "bald eagle" "-")
The rabbit sees the bald eagle.
Unknown
rconc
[@2: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("rabbit" "sees" "bald eagle" "+")
The rabbit does not eat the rabbit.
Unknown
inv-rconc
[@1: The rabbit eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "eats" "rabbit" "-")
The dog eats the rabbit.
Unknown
rconc
[@1: The dog eats the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "eats" "rabbit" "+")
The dog does not eat the bald eagle.
Unknown
inv-rconc
[@1: The dog eats the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "eats" "bald eagle" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The bear does not see the rabbit.
Unknown
inv-random
[@0: The bear sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "rabbit" "-")
The rabbit likes the rabbit.
Unknown
random
[@0: The rabbit likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "likes" "rabbit" "+")
The bald eagle is not round.
Unknown
inv-random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
The dog is not rough.
Unknown
inv-random
[@0: The dog is rough.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "rough" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bald eagle eats the dog.[(triple1)] The bald eagle likes the bear.[(triple2)] The bald eagle sees the bear.[(triple3)] The bear eats the dog.[(triple4)] The bear is rough.[(triple5)] The bear is round.[(triple6)] The bear likes the rabbit.[(triple7)] The dog is not big.[(triple8)] The dog likes the rabbit.[(triple9)] The rabbit sees the dog.[(triple10)] @1: The bear eats the rabbit.[(((triple3) -> rule7))] @2: The bear sees the bald eagle.[(((((triple3) -> rule7)) -> rule5))] @3: The bald eagle eats the bear.[(((triple5 ((((triple3) -> rule7)) -> rule5)) -> rule4))] @4: The bald eagle eats the rabbit.[(((((triple5 ((((triple3) -> rule7)) -> rule5)) -> rule4) triple5) -> rule1))] @5: The bald eagle sees the bald eagle.[(((((((triple5 ((((triple3) -> rule7)) -> rule5)) -> rule4) triple5) -> rule1)) -> rule5))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple3
The bear eats the dog.
("bear" "eats" "dog" "+")
triple4
The bear is rough.
("bear" "is" "rough" "+")
triple5
The bear is round.
("bear" "is" "round" "+")
triple6
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple7
The dog is not big.
("dog" "is" "big" "-")
triple8
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple9
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple10
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
((triple3) -> (rule7 % int1))
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
((((triple3) -> (rule7 % int2))) -> (rule5 % int1))
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int1
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
((triple5 ((((triple3) -> (rule7 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int1
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int2
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int3
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
((((triple5 ((((triple3) -> (rule7 % int4))) -> (rule5 % int3))) -> (rule4 % int2)) triple5) -> (rule1 % int1))
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int1
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int2
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int3
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int4
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
((((((triple5 ((((triple3) -> (rule7 % int5))) -> (rule5 % int4))) -> (rule4 % int3)) triple5) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle sees the bald eagle.
("bald eagle" "sees" "bald eagle" "+")
int1
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
int2
The bald eagle eats the bear.
("bald eagle" "eats" "bear" "+")
int3
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
int4
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
int5