The bald eagle eats the dog. The bald eagle is kind. The bald eagle is red. The bald eagle is young. The bald eagle needs the dog. The bald eagle does not visit the dog. The dog eats the bald eagle. The dog is green. The dog is kind. The dog needs the bald eagle. If something is nice and it eats the dog then the dog does not need the bald eagle. If something visits the bald eagle and it is not green then it eats the dog. If something is green and not kind then it does not eat the bald eagle. If something needs the dog then it eats the bald eagle. If something eats the bald eagle then it visits the bald eagle. If something visits the bald eagle then it needs the bald eagle.
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
If something is nice and it eats the dog then the dog does not need the bald eagle.
((("something" "is" "nice" "+") ("something" "eats" "dog" "+")) -> ("dog" "needs" "bald eagle" "-"))
If something visits the bald eagle and it is not green then it eats the dog.
((("something" "visits" "bald eagle" "+") ("something" "is" "green" "~")) -> ("something" "eats" "dog" "+"))
If something is green and not kind then it does not eat the bald eagle.
((("something" "is" "green" "+") ("something" "is" "kind" "~")) -> ("something" "eats" "bald eagle" "-"))
If something needs the dog then it eats the bald eagle.
((("something" "needs" "dog" "+")) -> ("something" "eats" "bald eagle" "+"))
If something eats the bald eagle then it visits the bald eagle.
((("something" "eats" "bald eagle" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bald eagle then it needs the bald eagle.
((("something" "visits" "bald eagle" "+")) -> ("something" "needs" "bald eagle" "+"))
The dog is green.
True
1
proof
[(triple8)]
("dog" "is" "green" "+")
triple8
The bald eagle does not eat the dog.
False
1
inv-proof
[(triple1)]
("bald eagle" "eats" "dog" "-")
triple1
The bald eagle eats the bald eagle.
True
2
proof
[(((triple5) -> rule4))]
("bald eagle" "eats" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle does not eat the bald eagle.
False
2
inv-proof
[(((triple5) -> rule4))]
("bald eagle" "eats" "bald eagle" "-")
((triple5) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
True
3
proof
[(((((triple5) -> rule4)) -> rule5))]
("bald eagle" "visits" "bald eagle" "+")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle does not visit the bald eagle.
False
3
inv-proof
[(((((triple5) -> rule4)) -> rule5))]
("bald eagle" "visits" "bald eagle" "-")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle needs the bald eagle.
True
4
proof
[(((((((triple5) -> rule4)) -> rule5)) -> rule6))]
("bald eagle" "needs" "bald eagle" "+")
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The bald eagle does not need the bald eagle.
False
4
inv-proof
[(((((((triple5) -> rule4)) -> rule5)) -> rule6))]
("bald eagle" "needs" "bald eagle" "-")
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3
The dog does not eat the dog.
Unknown
inv-rconc
[@1: The dog eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "eats" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
The dog is not young.
Unknown
inv-random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "-")
The dog is red.
Unknown
random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "+")
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog is nice.
Unknown
random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The bald eagle is green.
Unknown
random
[@0: The bald eagle is green.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "green" "+")
@0: The bald eagle does not visit the dog.[(triple6)] The bald eagle eats the dog.[(triple1)] The bald eagle is kind.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is young.[(triple4)] The bald eagle needs the dog.[(triple5)] The dog eats the bald eagle.[(triple7)] The dog is green.[(triple8)] The dog is kind.[(triple9)] The dog needs the bald eagle.[(triple10 OR ((((triple7) -> rule5)) -> rule6))] @1: The bald eagle eats the bald eagle.[(((triple5) -> rule4))] The dog visits the bald eagle.[(((triple7) -> rule5))] @2: The bald eagle visits the bald eagle.[(((((triple5) -> rule4)) -> rule5))] @3: The bald eagle needs the bald eagle.[(((((((triple5) -> rule4)) -> rule5)) -> rule6))]
The bald eagle does not visit the dog.
("bald eagle" "visits" "dog" "-")
triple6
The bald eagle eats the dog.
("bald eagle" "eats" "dog" "+")
triple1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple4
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple5
The dog eats the bald eagle.
("dog" "eats" "bald eagle" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple10
((((triple7) -> (rule5 % int2))) -> (rule6 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
((triple5) -> (rule4 % int1))
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int1
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
((triple7) -> (rule5 % int1))
The dog visits the bald eagle.
("dog" "visits" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple5) -> (rule4 % int2))) -> (rule5 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int2
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
((((((triple5) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle needs the bald eagle.
("bald eagle" "needs" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int2
The bald eagle eats the bald eagle.
("bald eagle" "eats" "bald eagle" "+")
int3