The bald eagle does not eat the tiger. The cow likes the tiger. The tiger is kind. If someone chases the cow then they are young. If someone likes the bald eagle then the bald eagle is not young. If someone eats the cow and they chase the tiger then they chase the cow. If someone likes the tiger and they do not chase the bald eagle then they eat the bald eagle. If someone chases the bald eagle then the bald eagle chases the tiger. If someone is kind then they chase the tiger. If someone likes the tiger then the tiger eats the cow. If someone chases the tiger then they do not eat the tiger.
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
The cow likes the tiger.
("cow" "likes" "tiger" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
If someone chases the cow then they are young.
((("someone" "chases" "cow" "+")) -> ("someone" "is" "young" "+"))
If someone likes the bald eagle then the bald eagle is not young.
((("someone" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "young" "-"))
If someone eats the cow and they chase the tiger then they chase the cow.
((("someone" "eats" "cow" "+") ("someone" "chases" "tiger" "+")) -> ("someone" "chases" "cow" "+"))
If someone likes the tiger and they do not chase the bald eagle then they eat the bald eagle.
((("someone" "likes" "tiger" "+") ("someone" "chases" "bald eagle" "~")) -> ("someone" "eats" "bald eagle" "+"))
If someone chases the bald eagle then the bald eagle chases the tiger.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If someone is kind then they chase the tiger.
((("someone" "is" "kind" "+")) -> ("someone" "chases" "tiger" "+"))
If someone likes the tiger then the tiger eats the cow.
((("someone" "likes" "tiger" "+")) -> ("tiger" "eats" "cow" "+"))
If someone chases the tiger then they do not eat the tiger.
((("someone" "chases" "tiger" "+")) -> ("someone" "eats" "tiger" "-"))
The cow likes the tiger.
True
1
proof
[(triple2)]
("cow" "likes" "tiger" "+")
triple2
The bald eagle eats the tiger.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "tiger" "+")
triple1
The tiger chases the tiger.
True
2
proof
[(((triple3) -> rule6))]
("tiger" "chases" "tiger" "+")
((triple3) -> (rule6 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger does not eat the cow.
False
2
inv-proof
[(((triple2) -> rule7))]
("tiger" "eats" "cow" "-")
((triple2) -> (rule7 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The tiger chases the cow.
True
5
proof
[(((((triple2) -> rule7) ((triple3) -> rule6)) -> rule3))]
("tiger" "chases" "cow" "+")
((((triple2) -> (rule7 % int3)) ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int3
The tiger does not chase the cow.
False
5
inv-proof
[(((((triple2) -> rule7) ((triple3) -> rule6)) -> rule3))]
("tiger" "chases" "cow" "-")
((((triple2) -> (rule7 % int3)) ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int3
The tiger is young.
True
6
proof
[(((((((triple2) -> rule7) ((triple3) -> rule6)) -> rule3)) -> rule1))]
("tiger" "is" "young" "+")
((((((triple2) -> (rule7 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int4
The tiger is not young.
False
6
inv-proof
[(((((((triple2) -> rule7) ((triple3) -> rule6)) -> rule3)) -> rule1))]
("tiger" "is" "young" "-")
((((((triple2) -> (rule7 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int4
The cow does not eat the bald eagle.
Unknown
inv-rconc
[@1: The cow eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "eats" "bald eagle" "-")
The bald eagle eats the bald eagle.
Unknown
rconc
[@1: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The cow is not young.
Unknown
inv-rconc
[@2: The cow is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("cow" "is" "young" "-")
The bald eagle is young.
Unknown
rconc
[@2: The bald eagle is young.[CWA. Example of deepest failure = (rule1 <- rule3 <- FAIL)]]
("bald eagle" "is" "young" "+")
The tiger does not like the cow.
Unknown
inv-random
[@0: The tiger likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "cow" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The tiger is not rough.
Unknown
inv-random
[@0: The tiger is rough.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "rough" "-")
The cow likes the cow.
Unknown
random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "+")
@0: The bald eagle does not eat the tiger.[(triple1)] The cow likes the tiger.[(triple2)] The tiger is kind.[(triple3)] @1: The tiger chases the tiger.[(((triple3) -> rule6))] The tiger eats the cow.[(((triple2) -> rule7))] @2: The tiger chases the cow.[(((((triple2) -> rule7) ((triple3) -> rule6)) -> rule3))] The tiger does not eat the tiger.[(((((triple3) -> rule6)) -> rule8))] @3: The tiger is young.[(((((((triple2) -> rule7) ((triple3) -> rule6)) -> rule3)) -> rule1))]
The bald eagle does not eat the tiger.
("bald eagle" "eats" "tiger" "-")
triple1
The cow likes the tiger.
("cow" "likes" "tiger" "+")
triple2
The tiger is kind.
("tiger" "is" "kind" "+")
triple3
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
((triple3) -> (rule6 % int1))
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int1
The tiger eats the cow.
("tiger" "eats" "cow" "+")
((triple2) -> (rule7 % int1))
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
((((triple2) -> (rule7 % int3)) ((triple3) -> (rule6 % int2))) -> (rule3 % int1))
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int3
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
((((triple3) -> (rule6 % int2))) -> (rule8 % int1))
The tiger does not eat the tiger.
("tiger" "eats" "tiger" "-")
int1
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int2
The tiger is young.
("tiger" "is" "young" "+")
((((((triple2) -> (rule7 % int4)) ((triple3) -> (rule6 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The tiger is young.
("tiger" "is" "young" "+")
int1
The tiger chases the cow.
("tiger" "chases" "cow" "+")
int2
The tiger chases the tiger.
("tiger" "chases" "tiger" "+")
int3
The tiger eats the cow.
("tiger" "eats" "cow" "+")
int4