The bald eagle likes the cat. The bald eagle likes the tiger. The bald eagle needs the tiger. The cat is blue. The cat is round. The tiger eats the cat. The tiger needs the cat. If someone likes the cat then the cat eats the tiger. If someone needs the bald eagle then they are round. If someone needs the cat then the cat does not like the tiger. If the cat eats the tiger then the tiger needs the bald eagle. If the tiger is not green then the tiger likes the cat. If someone eats the cat then the cat eats the bald eagle.
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is round.
("cat" "is" "round" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
If someone likes the cat then the cat eats the tiger.
((("someone" "likes" "cat" "+")) -> ("cat" "eats" "tiger" "+"))
If someone needs the bald eagle then they are round.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If someone needs the cat then the cat does not like the tiger.
((("someone" "needs" "cat" "+")) -> ("cat" "likes" "tiger" "-"))
If the cat eats the tiger then the tiger needs the bald eagle.
((("cat" "eats" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If the tiger is not green then the tiger likes the cat.
((("tiger" "is" "green" "~")) -> ("tiger" "likes" "cat" "+"))
If someone eats the cat then the cat eats the bald eagle.
((("someone" "eats" "cat" "+")) -> ("cat" "eats" "bald eagle" "+"))
The bald eagle likes the tiger.
True
1
proof
[(triple2)]
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle does not like the cat.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cat" "-")
triple1
The cat does not like the tiger.
True
2
proof
[(((triple7) -> rule3))]
("cat" "likes" "tiger" "-")
((triple7) -> (rule3 % int1))
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
int1
The cat likes the tiger.
False
2
inv-proof
[(((triple7) -> rule3))]
("cat" "likes" "tiger" "+")
((triple7) -> (rule3 % int1))
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
int1
The tiger needs the bald eagle.
True
3
proof
[(((((triple1) -> rule1)) -> rule4))]
("tiger" "needs" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The tiger does not need the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule4))]
("tiger" "needs" "bald eagle" "-")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The tiger is round.
True
4
proof
[(((((((triple1) -> rule1)) -> rule4)) -> rule2))]
("tiger" "is" "round" "+")
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3
The tiger is not round.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule4)) -> rule2))]
("tiger" "is" "round" "-")
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3
The bald eagle is not round.
Unknown
inv-rconc
[@1: The bald eagle is round.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "round" "-")
The tiger likes the cat.
Unknown
rconc
[@1: The tiger likes the cat.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "likes" "cat" "+")
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 tiger likes the bald eagle.
Unknown
random
[@0: The tiger likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "bald eagle" "+")
The tiger does not eat the tiger.
Unknown
inv-random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "-")
The cat needs the bald eagle.
Unknown
random
[@0: The cat needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "bald eagle" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The cat needs the tiger.
Unknown
random
[@0: The cat needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "needs" "tiger" "+")
@0: The bald eagle likes the cat.[(triple1)] The bald eagle likes the tiger.[(triple2)] The bald eagle needs the tiger.[(triple3)] The cat is blue.[(triple4)] The cat is round.[(triple5)] The tiger eats the cat.[(triple6)] The tiger needs the cat.[(triple7)] @1: The cat does not like the tiger.[(((triple7) -> rule3))] The cat eats the bald eagle.[(((triple6) -> rule6))] The cat eats the tiger.[(((triple1) -> rule1))] @2: The tiger needs the bald eagle.[(((((triple1) -> rule1)) -> rule4))] @3: The tiger is round.[(((((((triple1) -> rule1)) -> rule4)) -> rule2))]
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple1
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The cat is blue.
("cat" "is" "blue" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple6
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple7
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
((triple7) -> (rule3 % int1))
The cat does not like the tiger.
("cat" "likes" "tiger" "-")
int1
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
((triple6) -> (rule6 % int1))
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
((triple1) -> (rule1 % int1))
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule4 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int2
The tiger is round.
("tiger" "is" "round" "+")
((((((triple1) -> (rule1 % int3))) -> (rule4 % int2))) -> (rule2 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The cat eats the tiger.
("cat" "eats" "tiger" "+")
int3