The bald eagle is young. The dog needs the lion. The lion needs the bald eagle. If something needs the bald eagle then it is not rough. If the dog needs the lion then the dog needs the bald eagle. Big things are young. If something is big then it needs the lion. If something visits the dog and the dog visits the lion then the lion is big. If something is rough then it does not need the bald eagle. If something chases the dog and it is young then the dog is not young. If the bald eagle needs the dog then the dog needs the lion.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
If something needs the bald eagle then it is not rough.
((("something" "needs" "bald eagle" "+")) -> ("something" "is" "rough" "-"))
If the dog needs the lion then the dog needs the bald eagle.
((("dog" "needs" "lion" "+")) -> ("dog" "needs" "bald eagle" "+"))
Big things are young.
((("something" "is" "big" "+")) -> ("something" "is" "young" "+"))
If something is big then it needs the lion.
((("something" "is" "big" "+")) -> ("something" "needs" "lion" "+"))
If something visits the dog and the dog visits the lion then the lion is big.
((("something" "visits" "dog" "+") ("dog" "visits" "lion" "+")) -> ("lion" "is" "big" "+"))
If something is rough then it does not need the bald eagle.
((("something" "is" "rough" "+")) -> ("something" "needs" "bald eagle" "-"))
If something chases the dog and it is young then the dog is not young.
((("something" "chases" "dog" "+") ("something" "is" "young" "+")) -> ("dog" "is" "young" "-"))
If the bald eagle needs the dog then the dog needs the lion.
((("bald eagle" "needs" "dog" "+")) -> ("dog" "needs" "lion" "+"))
The dog needs the lion.
True
1
proof
[(triple2)]
("dog" "needs" "lion" "+")
triple2
The bald eagle is not young.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "young" "-")
triple1
The dog needs the bald eagle.
True
2
proof
[(((triple2) -> rule2))]
("dog" "needs" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog does not need the bald eagle.
False
2
inv-proof
[(((triple2) -> rule2))]
("dog" "needs" "bald eagle" "-")
((triple2) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The dog is not rough.
True
3
proof
[(((((triple2) -> rule2)) -> rule1))]
("dog" "is" "rough" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog is rough.
False
3
inv-proof
[(((((triple2) -> rule2)) -> rule1))]
("dog" "is" "rough" "+")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "young" "-")
The lion needs the lion.
Unknown
rconc
[@2: The lion needs the lion.[CWA. Example of deepest failure = (rule4 <- rule5 <- FAIL)]]
("lion" "needs" "lion" "+")
The lion is not young.
Unknown
inv-rconc
[@2: The lion is young.[CWA. Example of deepest failure = (rule3 <- rule5 <- FAIL)]]
("lion" "is" "young" "-")
The dog chases the lion.
Unknown
random
[@0: The dog chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "lion" "+")
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 lion visits the dog.
Unknown
random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "+")
@0: The bald eagle is young.[(triple1)] The dog needs the lion.[(triple2)] The lion needs the bald eagle.[(triple3)] @1: The dog needs the bald eagle.[(((triple2) -> rule2))] The lion is not rough.[(((triple3) -> rule1))] @2: The dog is not rough.[(((((triple2) -> rule2)) -> rule1))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The dog needs the lion.
("dog" "needs" "lion" "+")
triple2
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple3
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
((triple2) -> (rule2 % int1))
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int1
The lion is not rough.
("lion" "is" "rough" "-")
((triple3) -> (rule1 % int1))
The lion is not rough.
("lion" "is" "rough" "-")
int1
The dog is not rough.
("dog" "is" "rough" "-")
((((triple2) -> (rule2 % int2))) -> (rule1 % int1))
The dog is not rough.
("dog" "is" "rough" "-")
int1
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
int2