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