The bald eagle needs the tiger. The dog chases the tiger. The tiger chases the bald eagle. If something needs the bald eagle and the bald eagle is nice then the bald eagle chases the tiger. If something chases the dog then it needs the bald eagle. If the tiger needs the dog then the tiger is young. If something is nice then it sees the bald eagle. If something chases the tiger and the tiger chases the bald eagle then the tiger chases the dog. If the bald eagle sees the dog then the bald eagle is young.
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
If something needs the bald eagle and the bald eagle is nice then the bald eagle chases the tiger.
((("something" "needs" "bald eagle" "+") ("bald eagle" "is" "nice" "+")) -> ("bald eagle" "chases" "tiger" "+"))
If something chases the dog then it needs the bald eagle.
((("something" "chases" "dog" "+")) -> ("something" "needs" "bald eagle" "+"))
If the tiger needs the dog then the tiger is young.
((("tiger" "needs" "dog" "+")) -> ("tiger" "is" "young" "+"))
If something is nice then it sees the bald eagle.
((("something" "is" "nice" "+")) -> ("something" "sees" "bald eagle" "+"))
If something chases the tiger and the tiger chases the bald eagle then the tiger chases the dog.
((("something" "chases" "tiger" "+") ("tiger" "chases" "bald eagle" "+")) -> ("tiger" "chases" "dog" "+"))
If the bald eagle sees the dog then the bald eagle is young.
((("bald eagle" "sees" "dog" "+")) -> ("bald eagle" "is" "young" "+"))
The bald eagle needs the tiger.
True
1
proof
[(triple1)]
("bald eagle" "needs" "tiger" "+")
triple1
The tiger does not chase the bald eagle.
False
1
inv-proof
[(triple3)]
("tiger" "chases" "bald eagle" "-")
triple3
The tiger chases the dog.
True
3
proof
[(((triple2 triple3) -> rule5))]
("tiger" "chases" "dog" "+")
((triple2 triple3) -> (rule5 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger does not chase the dog.
False
3
inv-proof
[(((triple2 triple3) -> rule5))]
("tiger" "chases" "dog" "-")
((triple2 triple3) -> (rule5 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger needs the bald eagle.
True
4
proof
[(((((triple2 triple3) -> rule5)) -> rule2))]
("tiger" "needs" "bald eagle" "+")
((((triple2 triple3) -> (rule5 % int2))) -> (rule2 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The tiger does not need the bald eagle.
False
4
inv-proof
[(((((triple2 triple3) -> rule5)) -> rule2))]
("tiger" "needs" "bald eagle" "-")
((((triple2 triple3) -> (rule5 % int2))) -> (rule2 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2
The dog does not need the bald eagle.
Unknown
inv-rconc
[@1: The dog needs the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
rconc
[@1: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "young" "-")
The bald eagle is cold.
Unknown
random
[@0: The bald eagle is cold.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "cold" "+")
The bald eagle does not see the dog.
Unknown
inv-random
[@0: The bald eagle sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "dog" "-")
The dog is young.
Unknown
random
[@0: The dog is young.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "young" "+")
@0: The bald eagle needs the tiger.[(triple1)] The dog chases the tiger.[(triple2)] The tiger chases the bald eagle.[(triple3)] @1: The tiger chases the dog.[(((triple2 triple3) -> rule5))] @2: The tiger needs the bald eagle.[(((((triple2 triple3) -> rule5)) -> rule2))]
The bald eagle needs the tiger.
("bald eagle" "needs" "tiger" "+")
triple1
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple3
The tiger chases the dog.
("tiger" "chases" "dog" "+")
((triple2 triple3) -> (rule5 % int1))
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int1
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
((((triple2 triple3) -> (rule5 % int2))) -> (rule2 % int1))
The tiger needs the bald eagle.
("tiger" "needs" "bald eagle" "+")
int1
The tiger chases the dog.
("tiger" "chases" "dog" "+")
int2