The bald eagle does not eat the cat. The bald eagle is cold. The bald eagle is rough. The bald eagle likes the tiger. The bald eagle sees the tiger. The cat is big. The cat likes the bald eagle. The cat does not like the tiger. The tiger likes the bald eagle. The tiger sees the bald eagle. If someone eats the cat then they are not cold. If someone likes the bald eagle and the bald eagle is not round then the bald eagle is not kind. If the bald eagle does not see the tiger then the bald eagle likes the cat. If someone likes the bald eagle then they are kind. If someone is kind then they do not eat the cat. If the tiger does not eat the cat then the tiger eats the bald eagle.
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The cat is big.
("cat" "is" "big" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone eats the cat then they are not cold.
((("someone" "eats" "cat" "+")) -> ("someone" "is" "cold" "-"))
If someone likes the bald eagle and the bald eagle is not round then the bald eagle is not kind.
((("someone" "likes" "bald eagle" "+") ("bald eagle" "is" "round" "~")) -> ("bald eagle" "is" "kind" "-"))
If the bald eagle does not see the tiger then the bald eagle likes the cat.
((("bald eagle" "sees" "tiger" "~")) -> ("bald eagle" "likes" "cat" "+"))
If someone likes the bald eagle then they are kind.
((("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "kind" "+"))
If someone is kind then they do not eat the cat.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "cat" "-"))
If the tiger does not eat the cat then the tiger eats the bald eagle.
((("tiger" "eats" "cat" "~")) -> ("tiger" "eats" "bald eagle" "+"))
The tiger sees the bald eagle.
True
1
proof
[(triple10)]
("tiger" "sees" "bald eagle" "+")
triple10
The tiger does not like the bald eagle.
False
1
inv-proof
[(triple9)]
("tiger" "likes" "bald eagle" "-")
triple9
The tiger is kind.
True
2
proof
[(((triple9) -> rule4))]
("tiger" "is" "kind" "+")
((triple9) -> (rule4 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger is not kind.
False
2
inv-proof
[(((triple9) -> rule4))]
("tiger" "is" "kind" "-")
((triple9) -> (rule4 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The tiger does not eat the cat.
True
3
proof
[(((((triple9) -> rule4)) -> rule5))]
("tiger" "eats" "cat" "-")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The cat eats the cat.
False
3
inv-proof
[(((((triple7) -> rule4)) -> rule5))]
("cat" "eats" "cat" "+")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The tiger eats the bald eagle.
True
4
proof
[(((((((triple9) -> rule4)) -> rule5)) -> rule6))]
("tiger" "eats" "bald eagle" "+")
((((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The tiger does not eat the bald eagle.
False
4
inv-proof
[(((((((triple9) -> rule4)) -> rule5)) -> rule6))]
("tiger" "eats" "bald eagle" "-")
((((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3
The bald eagle is not kind.
Unknown
inv-rconc
[@1: The bald eagle is kind.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "is" "kind" "-")
The bald eagle likes the cat.
Unknown
rconc
[@1: The bald eagle likes the cat.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "likes" "cat" "+")
The bald eagle does not eat the tiger.
Unknown
inv-random
[@0: The bald eagle eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "tiger" "-")
The bald eagle eats the bald eagle.
Unknown
random
[@0: The bald eagle eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "bald eagle" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The cat does not eat the bald eagle.
Unknown
inv-random
[@0: The cat eats the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "bald eagle" "-")
The tiger sees the cat.
Unknown
random
[@0: The tiger sees the cat.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "cat" "+")
@0: The bald eagle does not eat the cat.[(triple1)] The bald eagle is cold.[(triple2)] The bald eagle is rough.[(triple3)] The bald eagle likes the tiger.[(triple4)] The bald eagle sees the tiger.[(triple5)] The cat does not like the tiger.[(triple8)] The cat is big.[(triple6)] The cat likes the bald eagle.[(triple7)] The tiger likes the bald eagle.[(triple9)] The tiger sees the bald eagle.[(triple10)] @1: The cat is kind.[(((triple7) -> rule4))] The tiger is kind.[(((triple9) -> rule4))] @2: The cat does not eat the cat.[(((((triple7) -> rule4)) -> rule5))] The tiger does not eat the cat.[(((((triple9) -> rule4)) -> rule5))] @3: The tiger eats the bald eagle.[(((((((triple9) -> rule4)) -> rule5)) -> rule6))]
The bald eagle does not eat the cat.
("bald eagle" "eats" "cat" "-")
triple1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple2
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple3
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple4
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple5
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
triple8
The cat is big.
("cat" "is" "big" "+")
triple6
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple7
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple9
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple10
The cat is kind.
("cat" "is" "kind" "+")
((triple7) -> (rule4 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
((triple9) -> (rule4 % int1))
The tiger is kind.
("tiger" "is" "kind" "+")
int1
The cat does not eat the cat.
("cat" "eats" "cat" "-")
((((triple7) -> (rule4 % int2))) -> (rule5 % int1))
The cat does not eat the cat.
("cat" "eats" "cat" "-")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
((((triple9) -> (rule4 % int2))) -> (rule5 % int1))
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
int1
The tiger is kind.
("tiger" "is" "kind" "+")
int2
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
((((((triple9) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
int1
The tiger does not eat the cat.
("tiger" "eats" "cat" "-")
int2
The tiger is kind.
("tiger" "is" "kind" "+")
int3