The bald eagle likes the cow. The bald eagle needs the cow. The bald eagle needs the dog. The cow likes the tiger. The cow needs the bald eagle. The cow needs the tiger. The dog is big. The dog needs the cow. The dog needs the tiger. The tiger eats the cow. The tiger is big. The tiger is young. If someone is cold and they need the bald eagle then the bald eagle eats the dog. If someone eats the cow then they like the dog. If someone needs the tiger then they are cold. If someone is cold and they like the dog then the dog eats the tiger. If someone is rough then they eat the dog. If someone is cold and they like the cow then they like the tiger. If someone needs the dog and the dog is cold then the dog eats the bald eagle. If someone eats the dog then the dog likes the tiger.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
The cow needs the tiger.
("cow" "needs" "tiger" "+")
The dog is big.
("dog" "is" "big" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The tiger eats the cow.
("tiger" "eats" "cow" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is young.
("tiger" "is" "young" "+")
If someone is cold and they need the bald eagle then the bald eagle eats the dog.
((("someone" "is" "cold" "+") ("someone" "needs" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If someone eats the cow then they like the dog.
((("someone" "eats" "cow" "+")) -> ("someone" "likes" "dog" "+"))
If someone needs the tiger then they are cold.
((("someone" "needs" "tiger" "+")) -> ("someone" "is" "cold" "+"))
If someone is cold and they like the dog then the dog eats the tiger.
((("someone" "is" "cold" "+") ("someone" "likes" "dog" "+")) -> ("dog" "eats" "tiger" "+"))
If someone is rough then they eat the dog.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "dog" "+"))
If someone is cold and they like the cow then they like the tiger.
((("someone" "is" "cold" "+") ("someone" "likes" "cow" "+")) -> ("someone" "likes" "tiger" "+"))
If someone needs the dog and the dog is cold then the dog eats the bald eagle.
((("someone" "needs" "dog" "+") ("dog" "is" "cold" "+")) -> ("dog" "eats" "bald eagle" "+"))
If someone eats the dog then the dog likes the tiger.
((("someone" "eats" "dog" "+")) -> ("dog" "likes" "tiger" "+"))
The cow likes the tiger.
True
1
proof
[(triple4)]
("cow" "likes" "tiger" "+")
triple4
The dog does not need the cow.
False
1
inv-proof
[(triple8)]
("dog" "needs" "cow" "-")
triple8
The dog is cold.
True
2
proof
[(((triple9) -> rule3))]
("dog" "is" "cold" "+")
((triple9) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The tiger does not like the dog.
False
2
inv-proof
[(((triple10) -> rule2))]
("tiger" "likes" "dog" "-")
((triple10) -> (rule2 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The dog eats the bald eagle.
True
4
proof
[(((triple3 ((triple9) -> rule3)) -> rule7))]
("dog" "eats" "bald eagle" "+")
((triple3 ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog does not eat the bald eagle.
False
4
inv-proof
[(((triple3 ((triple9) -> rule3)) -> rule7))]
("dog" "eats" "bald eagle" "-")
((triple3 ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog likes the tiger.
True
5
proof
[(((((((triple6) -> rule3) triple5) -> rule1)) -> rule8))]
("dog" "likes" "tiger" "+")
((((((triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
The dog likes the tiger.
("dog" "likes" "tiger" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The dog does not like the tiger.
False
5
inv-proof
[(((((((triple6) -> rule3) triple5) -> rule1)) -> rule8))]
("dog" "likes" "tiger" "-")
((((((triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
The dog likes the tiger.
("dog" "likes" "tiger" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog likes the dog.
Unknown
rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "dog" "+")
The bald eagle does not like the dog.
Unknown
inv-rconc
[@1: The bald eagle likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "dog" "-")
The dog eats the tiger.
Unknown
rconc
[@2: The dog eats the tiger.[CWA. Example of deepest failure = (rule4 <- rule2 <- FAIL)]]
("dog" "eats" "tiger" "+")
The cow does not eat the tiger.
Unknown
inv-random
[@0: The cow eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "tiger" "-")
The cow is big.
Unknown
random
[@0: The cow is big.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "big" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
The bald eagle is big.
Unknown
random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "+")
@0: The bald eagle likes the cow.[(triple1)] The bald eagle needs the cow.[(triple2)] The bald eagle needs the dog.[(triple3)] The cow likes the tiger.[(triple4)] The cow needs the bald eagle.[(triple5)] The cow needs the tiger.[(triple6)] The dog is big.[(triple7)] The dog needs the cow.[(triple8)] The dog needs the tiger.[(triple9)] The tiger eats the cow.[(triple10)] The tiger is big.[(triple11)] The tiger is young.[(triple12)] @1: The cow is cold.[(((triple6) -> rule3))] The dog is cold.[(((triple9) -> rule3))] The tiger likes the dog.[(((triple10) -> rule2))] @2: The bald eagle eats the dog.[(((((triple6) -> rule3) triple5) -> rule1))] The dog eats the bald eagle.[(((triple3 ((triple9) -> rule3)) -> rule7))] @3: The dog likes the tiger.[(((((((triple6) -> rule3) triple5) -> rule1)) -> rule8))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
triple2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple3
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple4
The cow needs the bald eagle.
("cow" "needs" "bald eagle" "+")
triple5
The cow needs the tiger.
("cow" "needs" "tiger" "+")
triple6
The dog is big.
("dog" "is" "big" "+")
triple7
The dog needs the cow.
("dog" "needs" "cow" "+")
triple8
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple9
The tiger eats the cow.
("tiger" "eats" "cow" "+")
triple10
The tiger is big.
("tiger" "is" "big" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The cow is cold.
("cow" "is" "cold" "+")
((triple6) -> (rule3 % int1))
The cow is cold.
("cow" "is" "cold" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
((triple9) -> (rule3 % int1))
The dog is cold.
("dog" "is" "cold" "+")
int1
The tiger likes the dog.
("tiger" "likes" "dog" "+")
((triple10) -> (rule2 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
((((triple6) -> (rule3 % int2)) triple5) -> (rule1 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The cow is cold.
("cow" "is" "cold" "+")
int2
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
((triple3 ((triple9) -> (rule3 % int2))) -> (rule7 % int1))
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
int1
The dog is cold.
("dog" "is" "cold" "+")
int2
The dog likes the tiger.
("dog" "likes" "tiger" "+")
((((((triple6) -> (rule3 % int3)) triple5) -> (rule1 % int2))) -> (rule8 % int1))
The dog likes the tiger.
("dog" "likes" "tiger" "+")
int1
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int2
The cow is cold.
("cow" "is" "cold" "+")
int3