The bald eagle eats the cat. The bald eagle does not eat the cow. The bald eagle sees the cow. The cat is round. The cat sees the cow. The cow eats the bald eagle. The cow does not eat the cat. The cow likes the cat. The lion is round. The lion likes the bald eagle. If something likes the lion then it eats the cow. If the lion sees the cat and the cat sees the cow then the lion sees the cow. If something eats the cow then it does not see the cat. If something is round then it likes the lion. If something likes the bald eagle and it eats the bald eagle then the bald eagle eats the cat. If the lion eats the cow then the lion is big. If something eats the cat and it likes the lion then the cat sees the bald eagle. If something is round and it does not see the cat then the cat eats the lion. If something eats the lion then it likes the cat.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
The cat is round.
("cat" "is" "round" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow does not eat the cat.
("cow" "eats" "cat" "-")
The cow likes the cat.
("cow" "likes" "cat" "+")
The lion is round.
("lion" "is" "round" "+")
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
If something likes the lion then it eats the cow.
((("something" "likes" "lion" "+")) -> ("something" "eats" "cow" "+"))
If the lion sees the cat and the cat sees the cow then the lion sees the cow.
((("lion" "sees" "cat" "+") ("cat" "sees" "cow" "+")) -> ("lion" "sees" "cow" "+"))
If something eats the cow then it does not see the cat.
((("something" "eats" "cow" "+")) -> ("something" "sees" "cat" "-"))
If something is round then it likes the lion.
((("something" "is" "round" "+")) -> ("something" "likes" "lion" "+"))
If something likes the bald eagle and it eats the bald eagle then the bald eagle eats the cat.
((("something" "likes" "bald eagle" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "cat" "+"))
If the lion eats the cow then the lion is big.
((("lion" "eats" "cow" "+")) -> ("lion" "is" "big" "+"))
If something eats the cat and it likes the lion then the cat sees the bald eagle.
((("something" "eats" "cat" "+") ("something" "likes" "lion" "+")) -> ("cat" "sees" "bald eagle" "+"))
If something is round and it does not see the cat then the cat eats the lion.
((("something" "is" "round" "+") ("something" "sees" "cat" "~")) -> ("cat" "eats" "lion" "+"))
If something eats the lion then it likes the cat.
((("something" "eats" "lion" "+")) -> ("something" "likes" "cat" "+"))
The cat sees the cow.
True
1
proof
[(triple5)]
("cat" "sees" "cow" "+")
triple5
The cat does not see the cow.
False
1
inv-proof
[(triple5)]
("cat" "sees" "cow" "-")
triple5
The cat likes the lion.
True
2
proof
[(((triple4) -> rule4))]
("cat" "likes" "lion" "+")
((triple4) -> (rule4 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The lion does not like the lion.
False
2
inv-proof
[(((triple9) -> rule4))]
("lion" "likes" "lion" "-")
((triple9) -> (rule4 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The lion eats the cow.
True
3
proof
[(((((triple9) -> rule4)) -> rule1))]
("lion" "eats" "cow" "+")
((((triple9) -> (rule4 % int2))) -> (rule1 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The cat does not eat the cow.
False
3
inv-proof
[(((((triple4) -> rule4)) -> rule1))]
("cat" "eats" "cow" "-")
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion does not see the cat.
True
4
proof
[(((((((triple9) -> rule4)) -> rule1)) -> rule3))]
("lion" "sees" "cat" "-")
((((((triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion does not see the cat.
("lion" "sees" "cat" "-")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is not big.
False
4
inv-proof
[(((((((triple9) -> rule4)) -> rule1)) -> rule6))]
("lion" "is" "big" "-")
((((((triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The cat eats the lion.
True
6
proof
[(((triple4 ((((((triple4) -> rule4)) -> rule1)) -> rule3)) -> rule8) OR ((triple9 ((((((triple9) -> rule4)) -> rule1)) -> rule3)) -> rule8))]
("cat" "eats" "lion" "+")
((triple4 ((((((triple4) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat does not see the cat.
("cat" "sees" "cat" "-")
int2
The cat eats the cow.
("cat" "eats" "cow" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
((triple9 ((((((triple9) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The lion does not see the cat.
("lion" "sees" "cat" "-")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The cat does not eat the lion.
False
6
inv-proof
[(((triple4 ((((((triple4) -> rule4)) -> rule1)) -> rule3)) -> rule8) OR ((triple9 ((((((triple9) -> rule4)) -> rule1)) -> rule3)) -> rule8))]
("cat" "eats" "lion" "-")
((triple4 ((((((triple4) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat does not see the cat.
("cat" "sees" "cat" "-")
int2
The cat eats the cow.
("cat" "eats" "cow" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
((triple9 ((((((triple9) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The lion does not see the cat.
("lion" "sees" "cat" "-")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The cat likes the cat.
True
7
proof
[(((((triple4 ((((((triple4) -> rule4)) -> rule1)) -> rule3)) -> rule8)) -> rule9) OR ((((triple9 ((((((triple9) -> rule4)) -> rule1)) -> rule3)) -> rule8)) -> rule9))]
("cat" "likes" "cat" "+")
((((triple4 ((((((triple4) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat does not see the cat.
("cat" "sees" "cat" "-")
int3
The cat eats the cow.
("cat" "eats" "cow" "+")
int4
The cat likes the lion.
("cat" "likes" "lion" "+")
int5
((((triple9 ((((((triple9) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The lion does not see the cat.
("lion" "sees" "cat" "-")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The cat does not like the cat.
False
7
inv-proof
[(((((triple4 ((((((triple4) -> rule4)) -> rule1)) -> rule3)) -> rule8)) -> rule9) OR ((((triple9 ((((((triple9) -> rule4)) -> rule1)) -> rule3)) -> rule8)) -> rule9))]
("cat" "likes" "cat" "-")
((((triple4 ((((((triple4) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat does not see the cat.
("cat" "sees" "cat" "-")
int3
The cat eats the cow.
("cat" "eats" "cow" "+")
int4
The cat likes the lion.
("cat" "likes" "lion" "+")
int5
((((triple9 ((((((triple9) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The lion does not see the cat.
("lion" "sees" "cat" "-")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5
The lion does not like the cat.
Unknown
inv-rconc
[@1: The lion likes the cat.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("lion" "likes" "cat" "-")
The bald eagle likes the lion.
Unknown
rconc
[@1: The bald eagle likes the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "likes" "lion" "+")
The cow does not like the lion.
Unknown
inv-rconc
[@1: The cow likes the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "lion" "-")
The cat sees the bald eagle.
Unknown
rconc
[@2: The cat sees the bald eagle.[CWA. Example of deepest failure = (rule7 <- rule4 <- FAIL)]]
("cat" "sees" "bald eagle" "+")
The bald eagle does not like the cat.
Unknown
inv-rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bald eagle" "likes" "cat" "-")
The lion sees the cow.
Unknown
rconc
[@1: The lion sees the cow.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "sees" "cow" "+")
The cow does not see the lion.
Unknown
inv-random
[@0: The cow sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "lion" "-")
The cat sees the lion.
Unknown
random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "+")
The bald eagle does not see the lion.
Unknown
inv-random
[@0: The bald eagle sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "lion" "-")
The lion likes the cow.
Unknown
random
[@0: The lion likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("lion" "likes" "cow" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The bald eagle does not eat the cow.[(triple2)] The bald eagle eats the cat.[(triple1)] The bald eagle sees the cow.[(triple3)] The cat is round.[(triple4)] The cat sees the cow.[(triple5)] The cow does not eat the cat.[(triple7)] The cow eats the bald eagle.[(triple6)] The cow likes the cat.[(triple8)] The lion is round.[(triple9)] The lion likes the bald eagle.[(triple10)] @1: The cat likes the lion.[(((triple4) -> rule4))] The lion likes the lion.[(((triple9) -> rule4))] @2: The cat eats the cow.[(((((triple4) -> rule4)) -> rule1))] The lion eats the cow.[(((((triple9) -> rule4)) -> rule1))] @3: The cat does not see the cat.[(((((((triple4) -> rule4)) -> rule1)) -> rule3))] The lion does not see the cat.[(((((((triple9) -> rule4)) -> rule1)) -> rule3))] The lion is big.[(((((((triple9) -> rule4)) -> rule1)) -> rule6))] @4: The cat eats the lion.[(((triple4 ((((((triple4) -> rule4)) -> rule1)) -> rule3)) -> rule8) OR ((triple9 ((((((triple9) -> rule4)) -> rule1)) -> rule3)) -> rule8))] @5: The cat likes the cat.[(((((triple4 ((((((triple4) -> rule4)) -> rule1)) -> rule3)) -> rule8)) -> rule9) OR ((((triple9 ((((((triple9) -> rule4)) -> rule1)) -> rule3)) -> rule8)) -> rule9))]
The bald eagle does not eat the cow.
("bald eagle" "eats" "cow" "-")
triple2
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle sees the cow.
("bald eagle" "sees" "cow" "+")
triple3
The cat is round.
("cat" "is" "round" "+")
triple4
The cat sees the cow.
("cat" "sees" "cow" "+")
triple5
The cow does not eat the cat.
("cow" "eats" "cat" "-")
triple7
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple6
The cow likes the cat.
("cow" "likes" "cat" "+")
triple8
The lion is round.
("lion" "is" "round" "+")
triple9
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
triple10
The cat likes the lion.
("cat" "likes" "lion" "+")
((triple4) -> (rule4 % int1))
The cat likes the lion.
("cat" "likes" "lion" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple9) -> (rule4 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
((((triple4) -> (rule4 % int2))) -> (rule1 % int1))
The cat eats the cow.
("cat" "eats" "cow" "+")
int1
The cat likes the lion.
("cat" "likes" "lion" "+")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
((((triple9) -> (rule4 % int2))) -> (rule1 % int1))
The lion eats the cow.
("lion" "eats" "cow" "+")
int1
The lion likes the lion.
("lion" "likes" "lion" "+")
int2
The cat does not see the cat.
("cat" "sees" "cat" "-")
((((((triple4) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cat does not see the cat.
("cat" "sees" "cat" "-")
int1
The cat eats the cow.
("cat" "eats" "cow" "+")
int2
The cat likes the lion.
("cat" "likes" "lion" "+")
int3
The lion does not see the cat.
("lion" "sees" "cat" "-")
((((((triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion does not see the cat.
("lion" "sees" "cat" "-")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The lion is big.
("lion" "is" "big" "+")
((((((triple9) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The lion is big.
("lion" "is" "big" "+")
int1
The lion eats the cow.
("lion" "eats" "cow" "+")
int2
The lion likes the lion.
("lion" "likes" "lion" "+")
int3
The cat eats the lion.
("cat" "eats" "lion" "+")
((triple4 ((((((triple4) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The cat does not see the cat.
("cat" "sees" "cat" "-")
int2
The cat eats the cow.
("cat" "eats" "cow" "+")
int3
The cat likes the lion.
("cat" "likes" "lion" "+")
int4
((triple9 ((((((triple9) -> (rule4 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule8 % int1))
The cat eats the lion.
("cat" "eats" "lion" "+")
int1
The lion does not see the cat.
("lion" "sees" "cat" "-")
int2
The lion eats the cow.
("lion" "eats" "cow" "+")
int3
The lion likes the lion.
("lion" "likes" "lion" "+")
int4
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple4 ((((((triple4) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The cat does not see the cat.
("cat" "sees" "cat" "-")
int3
The cat eats the cow.
("cat" "eats" "cow" "+")
int4
The cat likes the lion.
("cat" "likes" "lion" "+")
int5
((((triple9 ((((((triple9) -> (rule4 % int5))) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat eats the lion.
("cat" "eats" "lion" "+")
int2
The lion does not see the cat.
("lion" "sees" "cat" "-")
int3
The lion eats the cow.
("lion" "eats" "cow" "+")
int4
The lion likes the lion.
("lion" "likes" "lion" "+")
int5