The bald eagle eats the cow. The bald eagle is red. The cat eats the cow. The cat does not visit the bald eagle. The cat visits the cow. The cow is nice. The cow is red. The dog eats the cat. The dog likes the cow. The dog visits the bald eagle. If the cat is kind then the cat visits the cow. If someone eats the cat and they are red then the cat likes the cow. If someone eats the bald eagle then they are red. If someone is blue then they visit the bald eagle. If the cat likes the dog then the cat does not eat the cow. If someone is red then they are nice. If someone likes the cow then they eat the bald eagle. If the cat eats the cow and the cat does not visit the bald eagle then the cow visits the bald eagle.
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The cat eats the cow.
("cat" "eats" "cow" "+")
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
If the cat is kind then the cat visits the cow.
((("cat" "is" "kind" "+")) -> ("cat" "visits" "cow" "+"))
If someone eats the cat and they are red then the cat likes the cow.
((("someone" "eats" "cat" "+") ("someone" "is" "red" "+")) -> ("cat" "likes" "cow" "+"))
If someone eats the bald eagle then they are red.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "is" "red" "+"))
If someone is blue then they visit the bald eagle.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the cat likes the dog then the cat does not eat the cow.
((("cat" "likes" "dog" "+")) -> ("cat" "eats" "cow" "-"))
If someone is red then they are nice.
((("someone" "is" "red" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the cow then they eat the bald eagle.
((("someone" "likes" "cow" "+")) -> ("someone" "eats" "bald eagle" "+"))
If the cat eats the cow and the cat does not visit the bald eagle then the cow visits the bald eagle.
((("cat" "eats" "cow" "+") ("cat" "visits" "bald eagle" "~")) -> ("cow" "visits" "bald eagle" "+"))
The cow is nice.
True
1
proof
[(triple6 OR ((triple7) -> rule6))]
("cow" "is" "nice" "+")
triple6
((triple7) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The dog does not visit the bald eagle.
False
1
inv-proof
[(triple10)]
("dog" "visits" "bald eagle" "-")
triple10
The cow visits the bald eagle.
True
3
proof
[(((triple3 triple4) -> rule8))]
("cow" "visits" "bald eagle" "+")
((triple3 triple4) -> (rule8 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The bald eagle is not nice.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "is" "nice" "-")
((triple2) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The dog is red.
True
3
proof
[(((((triple9) -> rule7)) -> rule3))]
("dog" "is" "red" "+")
((((triple9) -> (rule7 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The dog is not red.
False
3
inv-proof
[(((((triple9) -> rule7)) -> rule3))]
("dog" "is" "red" "-")
((((triple9) -> (rule7 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The cat likes the cow.
True
5
proof
[(((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2))]
("cat" "likes" "cow" "+")
((triple8 ((((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The cat does not like the cow.
False
5
inv-proof
[(((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2))]
("cat" "likes" "cow" "-")
((triple8 ((((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The cat eats the bald eagle.
True
6
proof
[(((((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2)) -> rule7))]
("cat" "eats" "bald eagle" "+")
((((triple8 ((((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int4
The cat does not eat the bald eagle.
False
6
inv-proof
[(((((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2)) -> rule7))]
("cat" "eats" "bald eagle" "-")
((((triple8 ((((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int4
The cat is red.
True
7
proof
[(((((((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2)) -> rule7)) -> rule3))]
("cat" "is" "red" "+")
((((((triple8 ((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The cat likes the cow.
("cat" "likes" "cow" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int5
The cat is not red.
False
7
inv-proof
[(((((((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2)) -> rule7)) -> rule3))]
("cat" "is" "red" "-")
((((((triple8 ((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The cat likes the cow.
("cat" "likes" "cow" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int5
The bald eagle does not eat the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "-")
The cow eats the bald eagle.
Unknown
rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("cow" "eats" "bald eagle" "+")
The bald eagle does not visit the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle visits the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "visits" "bald eagle" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The cow does not visit the cat.
Unknown
inv-random
[@0: The cow visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cat" "-")
The dog likes the bald eagle.
Unknown
random
[@0: The dog likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "bald eagle" "+")
The cow does not visit the cow.
Unknown
inv-random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "-")
The cow visits the dog.
Unknown
random
[@0: The cow visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "dog" "+")
The bald eagle does not visit the cow.
Unknown
inv-random
[@0: The bald eagle visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cow" "-")
The dog likes the cat.
Unknown
random
[@0: The dog likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "cat" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
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" "+")
@0: The bald eagle eats the cow.[(triple1)] The bald eagle is red.[(triple2)] The cat does not visit the bald eagle.[(triple4)] The cat eats the cow.[(triple3)] The cat visits the cow.[(triple5)] The cow is nice.[(triple6 OR ((triple7) -> rule6))] The cow is red.[(triple7)] The dog eats the cat.[(triple8)] The dog likes the cow.[(triple9)] The dog visits the bald eagle.[(triple10)] @1: The bald eagle is nice.[(((triple2) -> rule6))] The cow visits the bald eagle.[(((triple3 triple4) -> rule8))] The dog eats the bald eagle.[(((triple9) -> rule7))] @2: The dog is red.[(((((triple9) -> rule7)) -> rule3))] @3: The cat likes the cow.[(((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2))] The dog is nice.[(((((((triple9) -> rule7)) -> rule3)) -> rule6))] @4: The cat eats the bald eagle.[(((((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2)) -> rule7))] @5: The cat is red.[(((((((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2)) -> rule7)) -> rule3))] @6: The cat is nice.[(((((((((triple8 ((((triple9) -> rule7)) -> rule3)) -> rule2)) -> rule7)) -> rule3)) -> rule6))]
The bald eagle eats the cow.
("bald eagle" "eats" "cow" "+")
triple1
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple2
The cat does not visit the bald eagle.
("cat" "visits" "bald eagle" "-")
triple4
The cat eats the cow.
("cat" "eats" "cow" "+")
triple3
The cat visits the cow.
("cat" "visits" "cow" "+")
triple5
The cow is nice.
("cow" "is" "nice" "+")
triple6
((triple7) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is red.
("cow" "is" "red" "+")
triple7
The dog eats the cat.
("dog" "eats" "cat" "+")
triple8
The dog likes the cow.
("dog" "likes" "cow" "+")
triple9
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
triple10
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
((triple2) -> (rule6 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
((triple3 triple4) -> (rule8 % int1))
The cow visits the bald eagle.
("cow" "visits" "bald eagle" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple9) -> (rule7 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is red.
("dog" "is" "red" "+")
((((triple9) -> (rule7 % int2))) -> (rule3 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int2
The cat likes the cow.
("cat" "likes" "cow" "+")
((triple8 ((((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The cat likes the cow.
("cat" "likes" "cow" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The dog is nice.
("dog" "is" "nice" "+")
((((((triple9) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog is red.
("dog" "is" "red" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((((triple8 ((((triple9) -> (rule7 % int4))) -> (rule3 % int3))) -> (rule2 % int2))) -> (rule7 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat likes the cow.
("cat" "likes" "cow" "+")
int2
The dog is red.
("dog" "is" "red" "+")
int3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int4
The cat is red.
("cat" "is" "red" "+")
((((((triple8 ((((triple9) -> (rule7 % int5))) -> (rule3 % int4))) -> (rule2 % int3))) -> (rule7 % int2))) -> (rule3 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int2
The cat likes the cow.
("cat" "likes" "cow" "+")
int3
The dog is red.
("dog" "is" "red" "+")
int4
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int5
The cat is nice.
("cat" "is" "nice" "+")
((((((((triple8 ((((triple9) -> (rule7 % int6))) -> (rule3 % int5))) -> (rule2 % int4))) -> (rule7 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The cat is nice.
("cat" "is" "nice" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int3
The cat likes the cow.
("cat" "likes" "cow" "+")
int4
The dog is red.
("dog" "is" "red" "+")
int5
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int6