The bald eagle sees the tiger. The dog chases the bald eagle. The dog is kind. The dog does not need the bald eagle. The tiger chases the bald eagle. The tiger is green. The tiger sees the bald eagle. If someone is big and they need the dog then the dog needs the tiger. If someone sees the bald eagle then the bald eagle needs the dog. If someone chases the dog and they are not big then they are green. If someone needs the dog then they are not kind. If someone needs the bald eagle then they need the dog. If someone needs the dog and they are not kind then they do not chase the bald eagle.
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone is big and they need the dog then the dog needs the tiger.
((("someone" "is" "big" "+") ("someone" "needs" "dog" "+")) -> ("dog" "needs" "tiger" "+"))
If someone sees the bald eagle then the bald eagle needs the dog.
((("someone" "sees" "bald eagle" "+")) -> ("bald eagle" "needs" "dog" "+"))
If someone chases the dog and they are not big then they are green.
((("someone" "chases" "dog" "+") ("someone" "is" "big" "~")) -> ("someone" "is" "green" "+"))
If someone needs the dog then they are not kind.
((("someone" "needs" "dog" "+")) -> ("someone" "is" "kind" "-"))
If someone needs the bald eagle then they need the dog.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "needs" "dog" "+"))
If someone needs the dog and they are not kind then they do not chase the bald eagle.
((("someone" "needs" "dog" "+") ("someone" "is" "kind" "~")) -> ("someone" "chases" "bald eagle" "-"))
The tiger chases the bald eagle.
True
1
proof
[(triple5)]
("tiger" "chases" "bald eagle" "+")
triple5
The tiger is not green.
False
1
inv-proof
[(triple6)]
("tiger" "is" "green" "-")
triple6
The bald eagle needs the dog.
True
2
proof
[(((triple7) -> rule2))]
("bald eagle" "needs" "dog" "+")
((triple7) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle does not need the dog.
False
2
inv-proof
[(((triple7) -> rule2))]
("bald eagle" "needs" "dog" "-")
((triple7) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is not kind.
True
3
proof
[(((((triple7) -> rule2)) -> rule4))]
("bald eagle" "is" "kind" "-")
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The bald eagle is kind.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule4))]
("bald eagle" "is" "kind" "+")
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The bald eagle does not chase the bald eagle.
True
6
proof
[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule6))]
("bald eagle" "chases" "bald eagle" "-")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int3
The bald eagle chases the bald eagle.
False
6
inv-proof
[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule6))]
("bald eagle" "chases" "bald eagle" "+")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int3
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "needs" "dog" "-")
The dog needs the tiger.
Unknown
rconc
[@1: The dog needs the tiger.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "tiger" "+")
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "green" "-")
The bald eagle is green.
Unknown
rconc
[@1: The bald eagle is green.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "green" "+")
The tiger does not chase the dog.
Unknown
inv-random
[@0: The tiger chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "dog" "-")
The tiger needs the bald eagle.
Unknown
random
[@0: The tiger needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "bald eagle" "+")
The bald eagle does not chase the tiger.
Unknown
inv-random
[@0: The bald eagle chases the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "tiger" "-")
The bald eagle chases the dog.
Unknown
random
[@0: The bald eagle chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "dog" "+")
@0: The bald eagle sees the tiger.[(triple1)] The dog chases the bald eagle.[(triple2)] The dog does not need the bald eagle.[(triple4)] The dog is kind.[(triple3)] The tiger chases the bald eagle.[(triple5)] The tiger is green.[(triple6)] The tiger sees the bald eagle.[(triple7)] @1: The bald eagle needs the dog.[(((triple7) -> rule2))] @2: The bald eagle is not kind.[(((((triple7) -> rule2)) -> rule4))] @3: The bald eagle does not chase the bald eagle.[(((((triple7) -> rule2) ((((triple7) -> rule2)) -> rule4)) -> rule6))]
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple1
The dog chases the bald eagle.
("dog" "chases" "bald eagle" "+")
triple2
The dog does not need the bald eagle.
("dog" "needs" "bald eagle" "-")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple3
The tiger chases the bald eagle.
("tiger" "chases" "bald eagle" "+")
triple5
The tiger is green.
("tiger" "is" "green" "+")
triple6
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple7
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
((triple7) -> (rule2 % int1))
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
((((triple7) -> (rule2 % int2))) -> (rule4 % int1))
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int1
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int2
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
((((triple7) -> (rule2 % int3)) ((((triple7) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
The bald eagle does not chase the bald eagle.
("bald eagle" "chases" "bald eagle" "-")
int1
The bald eagle is not kind.
("bald eagle" "is" "kind" "-")
int2
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
int3