The bald eagle chases the cow. The bald eagle is big. The bald eagle is rough. The cat chases the cow. The cat is cold. The cat is kind. The cat is young. The cat needs the cow. The cow is kind. The tiger chases the bald eagle. The tiger chases the cow. The tiger is young. If something needs the tiger then the tiger eats the bald eagle. If the bald eagle is rough and the bald eagle chases the cow then the bald eagle needs the cow. If something needs the cat and the cat eats the bald eagle then the bald eagle is cold. If something is young then it needs the tiger. If something needs the tiger then the tiger chases the bald eagle. If something eats the bald eagle then it needs the cat.
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
The bald eagle is big.
("bald eagle" "is" "big" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cow is kind.
("cow" "is" "kind" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger chases the cow.
("tiger" "chases" "cow" "+")
The tiger is young.
("tiger" "is" "young" "+")
If something needs the tiger then the tiger eats the bald eagle.
((("something" "needs" "tiger" "+")) -> ("tiger" "eats" "bald eagle" "+"))
If the bald eagle is rough and the bald eagle chases the cow then the bald eagle needs the cow.
((("bald eagle" "is" "rough" "+") ("bald eagle" "chases" "cow" "+")) -> ("bald eagle" "needs" "cow" "+"))
If something needs the cat and the cat eats the bald eagle then the bald eagle is cold.
((("something" "needs" "cat" "+") ("cat" "eats" "bald eagle" "+")) -> ("bald eagle" "is" "cold" "+"))
If something is young then it needs the tiger.
((("something" "is" "young" "+")) -> ("something" "needs" "tiger" "+"))
If something needs the tiger then the tiger chases the bald eagle.
((("something" "needs" "tiger" "+")) -> ("tiger" "chases" "bald eagle" "+"))
If something eats the bald eagle then it needs the cat.
((("something" "eats" "bald eagle" "+")) -> ("something" "needs" "cat" "+"))
The cat is kind.
True
1
proof
[(triple6)]
("cat" "is" "kind" "+")
triple6
The cat is not kind.
False
1
inv-proof
[(triple6)]
("cat" "is" "kind" "-")
triple6
The cat needs the tiger.
True
2
proof
[(((triple7) -> rule4))]
("cat" "needs" "tiger" "+")
((triple7) -> (rule4 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The bald eagle does not need the cow.
False
3
inv-proof
[(((triple3 triple1) -> rule2))]
("bald eagle" "needs" "cow" "-")
((triple3 triple1) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The cat does not need the cat.
Unknown
inv-rconc
[@1: The cat needs the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "needs" "cat" "-")
The bald eagle needs the tiger.
Unknown
rconc
[@1: The bald eagle needs the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "needs" "tiger" "+")
The cow is not young.
Unknown
inv-random
[@0: The cow is young.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "young" "-")
The cow eats the cat.
Unknown
random
[@0: The cow eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cat" "+")
@0: The bald eagle chases the cow.[(triple1)] The bald eagle is big.[(triple2)] The bald eagle is rough.[(triple3)] The cat chases the cow.[(triple4)] The cat is cold.[(triple5)] The cat is kind.[(triple6)] The cat is young.[(triple7)] The cat needs the cow.[(triple8)] The cow is kind.[(triple9)] The tiger chases the bald eagle.[(triple10 OR ((((triple12) -> rule4)) -> rule5) OR ((((triple7) -> rule4)) -> rule5))] The tiger chases the cow.[(triple11)] The tiger is young.[(triple12)] @1: The bald eagle needs the cow.[(((triple3 triple1) -> rule2))] The cat needs the tiger.[(((triple7) -> rule4))] The tiger needs the tiger.[(((triple12) -> rule4))] @2: The tiger eats the bald eagle.[(((((triple12) -> rule4)) -> rule1) OR ((((triple7) -> rule4)) -> rule1))] @3: The tiger needs the cat.[(((((((triple12) -> rule4)) -> rule1)) -> rule6) OR ((((((triple7) -> rule4)) -> rule1)) -> rule6))]
The bald eagle chases the cow.
("bald eagle" "chases" "cow" "+")
triple1
The bald eagle is big.
("bald eagle" "is" "big" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The cat chases the cow.
("cat" "chases" "cow" "+")
triple4
The cat is cold.
("cat" "is" "cold" "+")
triple5
The cat is kind.
("cat" "is" "kind" "+")
triple6
The cat is young.
("cat" "is" "young" "+")
triple7
The cat needs the cow.
("cat" "needs" "cow" "+")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple9
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple10
((((triple12) -> (rule4 % int2))) -> (rule5 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The tiger chases the cow.
("tiger" "chases" "cow" "+")
triple11
The tiger is young.
("tiger" "is" "young" "+")
triple12
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
((triple3 triple1) -> (rule2 % int1))
The bald eagle needs the cow.
("bald eagle" "needs" "cow" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
((triple7) -> (rule4 % int1))
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
((triple12) -> (rule4 % int1))
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((((triple12) -> (rule4 % int2))) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int2
((((triple7) -> (rule4 % int2))) -> (rule1 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int2
The tiger needs the cat.
("tiger" "needs" "cat" "+")
((((((triple12) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The tiger needs the tiger.
("tiger" "needs" "tiger" "+")
int3
((((((triple7) -> (rule4 % int3))) -> (rule1 % int2))) -> (rule6 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int2
The cat needs the tiger.
("cat" "needs" "tiger" "+")
int3