The bald eagle chases the cat. The bald eagle eats the cat. The bald eagle eats the tiger. The bald eagle is not big. The bald eagle is cold. The bald eagle is kind. The bald eagle is round. The bald eagle needs the cat. The cat chases the bald eagle. The cat does not eat the bald eagle. The cat needs the bald eagle. The tiger chases the bald eagle. The tiger eats the bald eagle. The tiger is big. The tiger is cold. If someone needs the cat and the cat is not kind then they do not eat the tiger. If someone chases the tiger then the tiger needs the cat. If someone chases the bald eagle then the bald eagle chases the tiger.
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is not big.
("bald eagle" "is" "big" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
If someone needs the cat and the cat is not kind then they do not eat the tiger.
((("someone" "needs" "cat" "+") ("cat" "is" "kind" "~")) -> ("someone" "eats" "tiger" "-"))
If someone chases the tiger then the tiger needs the cat.
((("someone" "chases" "tiger" "+")) -> ("tiger" "needs" "cat" "+"))
If someone chases the bald eagle then the bald eagle chases the tiger.
((("someone" "chases" "bald eagle" "+")) -> ("bald eagle" "chases" "tiger" "+"))
The bald eagle chases the cat.
True
1
proof
[(triple1)]
("bald eagle" "chases" "cat" "+")
triple1
The tiger does not chase the bald eagle.
False
1
inv-proof
[(triple12)]
("tiger" "chases" "bald eagle" "-")
triple12
The bald eagle chases the tiger.
True
2
proof
[(((triple12) -> rule3) OR ((triple9) -> rule3))]
("bald eagle" "chases" "tiger" "+")
((triple12) -> (rule3 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
((triple9) -> (rule3 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The bald eagle does not chase the tiger.
False
2
inv-proof
[(((triple12) -> rule3) OR ((triple9) -> rule3))]
("bald eagle" "chases" "tiger" "-")
((triple12) -> (rule3 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
((triple9) -> (rule3 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The tiger needs the cat.
True
3
proof
[(((((triple12) -> rule3)) -> rule2) OR ((((triple9) -> rule3)) -> rule2))]
("tiger" "needs" "cat" "+")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule2 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The tiger does not need the cat.
False
3
inv-proof
[(((((triple12) -> rule3)) -> rule2) OR ((((triple9) -> rule3)) -> rule2))]
("tiger" "needs" "cat" "-")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule2 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
The bald eagle does not chase the bald eagle.
Unknown
inv-random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "-")
The cat needs the cat.
Unknown
random
[@0: The cat needs the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "cat" "+")
The bald eagle does not need the tiger.
Unknown
inv-random
[@0: The bald eagle needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "tiger" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "+")
The cat does not need the tiger.
Unknown
inv-random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "-")
The tiger eats the cat.
Unknown
random
[@0: The tiger eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "cat" "+")
@0: The bald eagle chases the cat.[(triple1)] The bald eagle eats the cat.[(triple2)] The bald eagle eats the tiger.[(triple3)] The bald eagle is cold.[(triple5)] The bald eagle is kind.[(triple6)] The bald eagle is not big.[(triple4)] The bald eagle is round.[(triple7)] The bald eagle needs the cat.[(triple8)] The cat chases the bald eagle.[(triple9)] The cat does not eat the bald eagle.[(triple10)] The cat needs the bald eagle.[(triple11)] The tiger chases the bald eagle.[(triple12)] The tiger eats the bald eagle.[(triple13)] The tiger is big.[(triple14)] The tiger is cold.[(triple15)] @1: The bald eagle chases the tiger.[(((triple12) -> rule3) OR ((triple9) -> rule3))] @2: The tiger needs the cat.[(((((triple12) -> rule3)) -> rule2) OR ((((triple9) -> rule3)) -> rule2))]
The bald eagle chases the cat.
("bald eagle" "chases" "cat" "+")
triple1
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple2
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple3
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple5
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple6
The bald eagle is not big.
("bald eagle" "is" "big" "-")
triple4
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple7
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
triple8
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple9
The cat does not eat the bald eagle.
("cat" "eats" "bald eagle" "-")
triple10
The cat needs the bald eagle.
("cat" "needs" "bald eagle" "+")
triple11
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple12
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple13
The tiger is big.
("tiger" "is" "big" "+")
triple14
The tiger is cold.
("tiger" "is" "cold" "+")
triple15
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
((triple12) -> (rule3 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
((triple9) -> (rule3 % int1))
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int1
The tiger needs the cat.
("tiger" "needs" "cat" "+")
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2
((((triple9) -> (rule3 % int2))) -> (rule2 % int1))
The tiger needs the cat.
("tiger" "needs" "cat" "+")
int1
The bald eagle chases the tiger.
("bald eagle" "chases" "tiger" "+")
int2