The bald eagle is green. The bald eagle is nice. The bald eagle is young. The bear is nice. The bear does not like the bald eagle. The bear needs the tiger. The bear sees the bald eagle. The bear does not see the tiger. The dog likes the bald eagle. The dog likes the tiger. The dog needs the bald eagle. The dog does not see the bald eagle. The dog sees the bear. The tiger is green. The tiger sees the bald eagle. If someone likes the tiger then they need the dog. If someone sees the bald eagle and the bald eagle needs the tiger then they do not need the bald eagle. If someone is green and they see the tiger then they need the tiger. If someone likes the dog and they need the tiger then the dog needs the tiger. If someone needs the dog and the dog needs the bald eagle then they are nice. If someone is nice then they see the dog. If someone needs the dog and they do not like the dog then the dog sees the tiger. If the bear sees the tiger and the tiger is not green then the tiger does not need the bald eagle.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
The bear needs the tiger.
("bear" "needs" "tiger" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
The dog likes the tiger.
("dog" "likes" "tiger" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
The dog sees the bear.
("dog" "sees" "bear" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
If someone likes the tiger then they need the dog.
((("someone" "likes" "tiger" "+")) -> ("someone" "needs" "dog" "+"))
If someone sees the bald eagle and the bald eagle needs the tiger then they do not need the bald eagle.
((("someone" "sees" "bald eagle" "+") ("bald eagle" "needs" "tiger" "+")) -> ("someone" "needs" "bald eagle" "-"))
If someone is green and they see the tiger then they need the tiger.
((("someone" "is" "green" "+") ("someone" "sees" "tiger" "+")) -> ("someone" "needs" "tiger" "+"))
If someone likes the dog and they need the tiger then the dog needs the tiger.
((("someone" "likes" "dog" "+") ("someone" "needs" "tiger" "+")) -> ("dog" "needs" "tiger" "+"))
If someone needs the dog and the dog needs the bald eagle then they are nice.
((("someone" "needs" "dog" "+") ("dog" "needs" "bald eagle" "+")) -> ("someone" "is" "nice" "+"))
If someone is nice then they see the dog.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "dog" "+"))
If someone needs the dog and they do not like the dog then the dog sees the tiger.
((("someone" "needs" "dog" "+") ("someone" "likes" "dog" "~")) -> ("dog" "sees" "tiger" "+"))
If the bear sees the tiger and the tiger is not green then the tiger does not need the bald eagle.
((("bear" "sees" "tiger" "+") ("tiger" "is" "green" "~")) -> ("tiger" "needs" "bald eagle" "-"))
The bear sees the bald eagle.
True
1
proof
[(triple7)]
("bear" "sees" "bald eagle" "+")
triple7
The dog does not see the bear.
False
1
inv-proof
[(triple13)]
("dog" "sees" "bear" "-")
triple13
The bear sees the dog.
True
2
proof
[(((triple4) -> rule6))]
("bear" "sees" "dog" "+")
((triple4) -> (rule6 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The bald eagle does not see the dog.
False
2
inv-proof
[(((triple2) -> rule6))]
("bald eagle" "sees" "dog" "-")
((triple2) -> (rule6 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The dog is nice.
True
4
proof
[(((((triple10) -> rule1) triple11) -> rule5))]
("dog" "is" "nice" "+")
((((triple10) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog is not nice.
False
4
inv-proof
[(((((triple10) -> rule1) triple11) -> rule5))]
("dog" "is" "nice" "-")
((((triple10) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog sees the dog.
True
5
proof
[(((((((triple10) -> rule1) triple11) -> rule5)) -> rule6))]
("dog" "sees" "dog" "+")
((((((triple10) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule6 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The dog does not see the dog.
False
5
inv-proof
[(((((((triple10) -> rule1) triple11) -> rule5)) -> rule6))]
("dog" "sees" "dog" "-")
((((((triple10) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule6 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3
The tiger does not see the dog.
Unknown
inv-rconc
[@3: The tiger sees the dog.[CWA. Example of deepest failure = (rule6 <- rule5 <- rule1 <- FAIL)]]
("tiger" "sees" "dog" "-")
The tiger needs the tiger.
Unknown
rconc
[@1: The tiger needs the tiger.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "needs" "tiger" "+")
The bald eagle does not need the dog.
Unknown
inv-rconc
[@1: The bald eagle needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "needs" "dog" "-")
The dog sees the tiger.
Unknown
rconc
[@1: The dog sees the tiger.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "sees" "tiger" "+")
The bald eagle does not need the bald eagle.
Unknown
inv-random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "-")
The bald eagle is rough.
Unknown
random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "+")
The bear is not young.
Unknown
inv-random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "-")
The bald eagle likes the dog.
Unknown
random
[@0: The bald eagle likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "dog" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is nice.[(triple2)] The bald eagle is young.[(triple3)] The bear does not like the bald eagle.[(triple5)] The bear does not see the tiger.[(triple8)] The bear is nice.[(triple4)] The bear needs the tiger.[(triple6)] The bear sees the bald eagle.[(triple7)] The dog does not see the bald eagle.[(triple12)] The dog likes the bald eagle.[(triple9)] The dog likes the tiger.[(triple10)] The dog needs the bald eagle.[(triple11)] The dog sees the bear.[(triple13)] The tiger is green.[(triple14)] The tiger sees the bald eagle.[(triple15)] @1: The bald eagle sees the dog.[(((triple2) -> rule6))] The bear sees the dog.[(((triple4) -> rule6))] The dog needs the dog.[(((triple10) -> rule1))] @2: The dog is nice.[(((((triple10) -> rule1) triple11) -> rule5))] @3: The dog sees the dog.[(((((((triple10) -> rule1) triple11) -> rule5)) -> rule6))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple3
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
triple5
The bear does not see the tiger.
("bear" "sees" "tiger" "-")
triple8
The bear is nice.
("bear" "is" "nice" "+")
triple4
The bear needs the tiger.
("bear" "needs" "tiger" "+")
triple6
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple7
The dog does not see the bald eagle.
("dog" "sees" "bald eagle" "-")
triple12
The dog likes the bald eagle.
("dog" "likes" "bald eagle" "+")
triple9
The dog likes the tiger.
("dog" "likes" "tiger" "+")
triple10
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple11
The dog sees the bear.
("dog" "sees" "bear" "+")
triple13
The tiger is green.
("tiger" "is" "green" "+")
triple14
The tiger sees the bald eagle.
("tiger" "sees" "bald eagle" "+")
triple15
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
((triple2) -> (rule6 % int1))
The bald eagle sees the dog.
("bald eagle" "sees" "dog" "+")
int1
The bear sees the dog.
("bear" "sees" "dog" "+")
((triple4) -> (rule6 % int1))
The bear sees the dog.
("bear" "sees" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple10) -> (rule1 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
((((triple10) -> (rule1 % int2)) triple11) -> (rule5 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
int2
The dog sees the dog.
("dog" "sees" "dog" "+")
((((((triple10) -> (rule1 % int3)) triple11) -> (rule5 % int2))) -> (rule6 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog is nice.
("dog" "is" "nice" "+")
int2
The dog needs the dog.
("dog" "needs" "dog" "+")
int3