The bald eagle eats the dog. The bald eagle is blue. The bald eagle needs the tiger. The dog eats the bald eagle. The dog is young. The tiger eats the bald eagle. The tiger eats the dog. The tiger needs the bald eagle. The tiger needs the dog. The tiger sees the dog. If the bald eagle sees the dog and the dog is green then the dog needs the tiger. If something is young and it eats the bald eagle then the bald eagle eats the dog. If something eats the bald eagle then it sees the tiger. If something sees the tiger then the tiger needs the bald eagle. If something eats the dog and the dog eats the tiger then it eats the tiger. If something eats the bald eagle then it needs the dog. If something is young and it needs the dog then the dog needs the tiger. If the bald eagle sees the dog then the bald eagle sees the tiger.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is young.
("dog" "is" "young" "+")
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If the bald eagle sees the dog and the dog is green then the dog needs the tiger.
((("bald eagle" "sees" "dog" "+") ("dog" "is" "green" "+")) -> ("dog" "needs" "tiger" "+"))
If something is young and it eats the bald eagle then the bald eagle eats the dog.
((("something" "is" "young" "+") ("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "dog" "+"))
If something eats the bald eagle then it sees the tiger.
((("something" "eats" "bald eagle" "+")) -> ("something" "sees" "tiger" "+"))
If something sees the tiger then the tiger needs the bald eagle.
((("something" "sees" "tiger" "+")) -> ("tiger" "needs" "bald eagle" "+"))
If something eats the dog and the dog eats the tiger then it eats the tiger.
((("something" "eats" "dog" "+") ("dog" "eats" "tiger" "+")) -> ("something" "eats" "tiger" "+"))
If something eats the bald eagle then it needs the dog.
((("something" "eats" "bald eagle" "+")) -> ("something" "needs" "dog" "+"))
If something is young and it needs the dog then the dog needs the tiger.
((("something" "is" "young" "+") ("something" "needs" "dog" "+")) -> ("dog" "needs" "tiger" "+"))
If the bald eagle sees the dog then the bald eagle sees the tiger.
((("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "sees" "tiger" "+"))
The tiger needs the bald eagle.
True
1
proof
[(triple8 OR ((((triple4) -> rule3)) -> rule4) OR ((((triple6) -> rule3)) -> rule4))]
("tiger" "needs" "bald eagle" "+")
triple8
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int2
The dog is not young.
False
1
inv-proof
[(triple5)]
("dog" "is" "young" "-")
triple5
The dog sees the tiger.
True
2
proof
[(((triple4) -> rule3))]
("dog" "sees" "tiger" "+")
((triple4) -> (rule3 % int1))
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int1
The dog does not need the dog.
False
2
inv-proof
[(((triple4) -> rule6))]
("dog" "needs" "dog" "-")
((triple4) -> (rule6 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog needs the tiger.
True
4
proof
[(((triple5 ((triple4) -> rule6)) -> rule7))]
("dog" "needs" "tiger" "+")
((triple5 ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog does not need the tiger.
False
4
inv-proof
[(((triple5 ((triple4) -> rule6)) -> rule7))]
("dog" "needs" "tiger" "-")
((triple5 ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The bald eagle does not need the dog.
Unknown
inv-rconc
[@1: The bald eagle needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "needs" "dog" "-")
The dog eats the tiger.
Unknown
rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "eats" "tiger" "+")
The bald eagle does not eat the tiger.
Unknown
inv-rconc
[@1: The bald eagle eats the tiger.[CWA. Example of deepest failure = (rule5 <- 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 is not big.
Unknown
inv-random
[@0: The bald eagle is big.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "big" "-")
The dog is green.
Unknown
random
[@0: The dog is green.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "green" "+")
@0: The bald eagle eats the dog.[(triple1 OR ((triple5 triple4) -> rule2))] The bald eagle is blue.[(triple2)] The bald eagle needs the tiger.[(triple3)] The dog eats the bald eagle.[(triple4)] The dog is young.[(triple5)] The tiger eats the bald eagle.[(triple6)] The tiger eats the dog.[(triple7)] The tiger needs the bald eagle.[(triple8 OR ((((triple4) -> rule3)) -> rule4) OR ((((triple6) -> rule3)) -> rule4))] The tiger needs the dog.[(triple9 OR ((triple6) -> rule6))] The tiger sees the dog.[(triple10)] @1: The dog needs the dog.[(((triple4) -> rule6))] The dog sees the tiger.[(((triple4) -> rule3))] The tiger sees the tiger.[(((triple6) -> rule3))] @2: The dog needs the tiger.[(((triple5 ((triple4) -> rule6)) -> rule7))]
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
((triple5 triple4) -> (rule2 % int1))
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
int1
The bald eagle is blue.
("bald eagle" "is" "blue" "+")
triple2
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple3
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple4
The dog is young.
("dog" "is" "young" "+")
triple5
The tiger eats the bald eagle.
("tiger" "eats" "bald eagle" "+")
triple6
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple7
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
triple8
((((triple4) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int2
((((triple6) -> (rule3 % int2))) -> (rule4 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int2
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple9
((triple6) -> (rule6 % int1))
The tiger needs the dog.
("tiger" "needs" "dog" "+")
int1
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple10
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple4) -> (rule6 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog sees the tiger.
("dog" "sees" "tiger" "+")
((triple4) -> (rule3 % int1))
The dog sees the tiger.
("dog" "sees" "tiger" "+")
int1
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
((triple6) -> (rule3 % int1))
The tiger sees the tiger.
("tiger" "sees" "tiger" "+")
int1
The dog needs the tiger.
("dog" "needs" "tiger" "+")
((triple5 ((triple4) -> (rule6 % int2))) -> (rule7 % int1))
The dog needs the tiger.
("dog" "needs" "tiger" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2