The bald eagle eats the cat. The bald eagle visits the tiger. The cat visits the bald eagle. The tiger eats the bald eagle. The tiger eats the cat. The tiger is blue. The tiger is red. The tiger is round. The tiger needs the cat. The tiger visits the cat. If the bald eagle is rough and the bald eagle visits the cat then the bald eagle eats the cat. If something is young and it visits the cat then it does not need the tiger. If something visits the tiger and the tiger eats the bald eagle then the bald eagle needs the cat. If something needs the bald eagle then the bald eagle is red. If the cat needs the bald eagle and the cat is not round then the cat does not need the tiger. If something visits the tiger and it does not need the cat then the tiger does not need the bald eagle. If the cat visits the tiger then the tiger does not need the bald eagle. If something is red then it needs the bald eagle.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the cat.
("tiger" "eats" "cat" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger is red.
("tiger" "is" "red" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger needs the cat.
("tiger" "needs" "cat" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
If the bald eagle is rough and the bald eagle visits the cat then the bald eagle eats the cat.
((("bald eagle" "is" "rough" "+") ("bald eagle" "visits" "cat" "+")) -> ("bald eagle" "eats" "cat" "+"))
If something is young and it visits the cat then it does not need the tiger.
((("something" "is" "young" "+") ("something" "visits" "cat" "+")) -> ("something" "needs" "tiger" "-"))
If something visits the tiger and the tiger eats the bald eagle then the bald eagle needs the cat.
((("something" "visits" "tiger" "+") ("tiger" "eats" "bald eagle" "+")) -> ("bald eagle" "needs" "cat" "+"))
If something needs the bald eagle then the bald eagle is red.
((("something" "needs" "bald eagle" "+")) -> ("bald eagle" "is" "red" "+"))
If the cat needs the bald eagle and the cat is not round then the cat does not need the tiger.
((("cat" "needs" "bald eagle" "+") ("cat" "is" "round" "~")) -> ("cat" "needs" "tiger" "-"))
If something visits the tiger and it does not need the cat then the tiger does not need the bald eagle.
((("something" "visits" "tiger" "+") ("something" "needs" "cat" "~")) -> ("tiger" "needs" "bald eagle" "-"))
If the cat visits the tiger then the tiger does not need the bald eagle.
((("cat" "visits" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "-"))
If something is red then it needs the bald eagle.
((("something" "is" "red" "+")) -> ("something" "needs" "bald eagle" "+"))
The bald eagle eats the cat.
True
1
proof
[(triple1)]
("bald eagle" "eats" "cat" "+")
triple1
The tiger does not eat the cat.
False
1
inv-proof
[(triple5)]
("tiger" "eats" "cat" "-")
triple5
The tiger needs the bald eagle.
True
2
proof
[(((triple7) -> rule8))]
("tiger" "needs" "bald eagle" "+")
((triple7) -> (rule8 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The bald eagle does not need the cat.
False
3
inv-proof
[(((triple2 triple4) -> rule3))]
("bald eagle" "needs" "cat" "-")
((triple2 triple4) -> (rule3 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The bald eagle is red.
True
3
proof
[(((((triple7) -> rule8)) -> rule4))]
("bald eagle" "is" "red" "+")
((((triple7) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The bald eagle is not red.
False
3
inv-proof
[(((((triple7) -> rule8)) -> rule4))]
("bald eagle" "is" "red" "-")
((((triple7) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The bald eagle needs the bald eagle.
True
4
proof
[(((((((triple7) -> rule8)) -> rule4)) -> rule8))]
("bald eagle" "needs" "bald eagle" "+")
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
The bald eagle does not need the bald eagle.
False
4
inv-proof
[(((((((triple7) -> rule8)) -> rule4)) -> rule8))]
("bald eagle" "needs" "bald eagle" "-")
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3
The cat does not need the bald eagle.
Unknown
inv-rconc
[@1: The cat needs the bald eagle.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "needs" "bald eagle" "-")
The bald eagle is young.
Unknown
random
[@0: The bald eagle is young.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "young" "+")
The cat is not rough.
Unknown
inv-random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "-")
The bald eagle visits the cat.
Unknown
random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "+")
The cat is not red.
Unknown
inv-random
[@0: The cat is red.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "red" "-")
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 is not blue.
Unknown
inv-random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "-")
The tiger visits the bald eagle.
Unknown
random
[@0: The tiger visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "visits" "bald eagle" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle visits the tiger.[(triple2)] The cat visits the bald eagle.[(triple3)] The tiger eats the bald eagle.[(triple4)] The tiger eats the cat.[(triple5)] The tiger is blue.[(triple6)] The tiger is red.[(triple7)] The tiger is round.[(triple8)] The tiger needs the cat.[(triple9)] The tiger visits the cat.[(triple10)] @1: The bald eagle needs the cat.[(((triple2 triple4) -> rule3))] The tiger needs the bald eagle.[(((triple7) -> rule8))] @2: The bald eagle is red.[(((((triple7) -> rule8)) -> rule4))] @3: The bald eagle needs the bald eagle.[(((((((triple7) -> rule8)) -> rule4)) -> rule8))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
triple2
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple3
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple4
The tiger eats the cat.
("tiger" "eats" "cat" "+")
triple5
The tiger is blue.
("tiger" "is" "blue" "+")
triple6
The tiger is red.
("tiger" "is" "red" "+")
triple7
The tiger is round.
("tiger" "is" "round" "+")
triple8
The tiger needs the cat.
("tiger" "needs" "cat" "+")
triple9
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple10
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
((triple2 triple4) -> (rule3 % int1))
The bald eagle needs the cat.
("bald eagle" "needs" "cat" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((triple7) -> (rule8 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple7) -> (rule8 % int2))) -> (rule4 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((((triple7) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule8 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int3