The bald eagle is round. The bald eagle likes the dog. The bald eagle needs the bear. The bald eagle needs the dog. The bald eagle sees the bear. The bear is red. The bear is round. The bear likes the bald eagle. The bear needs the bald eagle. The bear needs the dog. The bear sees the bald eagle. The bear sees the dog. The dog is nice. The dog needs the bald eagle. The dog sees the bald eagle. If the dog needs the bear and the dog needs the bald eagle then the bald eagle sees the dog. If someone is kind and they see the dog then the dog likes the bald eagle. If someone is young then they see the bear. If someone likes the dog and the dog is round then the dog is red. If the bear needs the dog and the dog needs the bald eagle then the bear needs the bald eagle. If someone needs the dog and they need the bear then the dog is young.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is red.
("bear" "is" "red" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
The bear sees the dog.
("bear" "sees" "dog" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
If the dog needs the bear and the dog needs the bald eagle then the bald eagle sees the dog.
((("dog" "needs" "bear" "+") ("dog" "needs" "bald eagle" "+")) -> ("bald eagle" "sees" "dog" "+"))
If someone is kind and they see the dog then the dog likes the bald eagle.
((("someone" "is" "kind" "+") ("someone" "sees" "dog" "+")) -> ("dog" "likes" "bald eagle" "+"))
If someone is young then they see the bear.
((("someone" "is" "young" "+")) -> ("someone" "sees" "bear" "+"))
If someone likes the dog and the dog is round then the dog is red.
((("someone" "likes" "dog" "+") ("dog" "is" "round" "+")) -> ("dog" "is" "red" "+"))
If the bear needs the dog and the dog needs the bald eagle then the bear needs the bald eagle.
((("bear" "needs" "dog" "+") ("dog" "needs" "bald eagle" "+")) -> ("bear" "needs" "bald eagle" "+"))
If someone needs the dog and they need the bear then the dog is young.
((("someone" "needs" "dog" "+") ("someone" "needs" "bear" "+")) -> ("dog" "is" "young" "+"))
The bald eagle likes the dog.
True
1
proof
[(triple2)]
("bald eagle" "likes" "dog" "+")
triple2
The bear does not need the bald eagle.
False
1
inv-proof
[(triple9 OR ((triple10 triple14) -> rule5))]
("bear" "needs" "bald eagle" "-")
triple9
((triple10 triple14) -> (rule5 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The dog is young.
True
3
proof
[(((triple4 triple3) -> rule6))]
("dog" "is" "young" "+")
((triple4 triple3) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is not young.
False
3
inv-proof
[(((triple4 triple3) -> rule6))]
("dog" "is" "young" "-")
((triple4 triple3) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the bear.
True
4
proof
[(((((triple4 triple3) -> rule6)) -> rule3))]
("dog" "sees" "bear" "+")
((((triple4 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog does not see the bear.
False
4
inv-proof
[(((((triple4 triple3) -> rule6)) -> rule3))]
("dog" "sees" "bear" "-")
((((triple4 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The bear does not see the bear.
Unknown
inv-rconc
[@1: The bear sees the bear.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "sees" "bear" "-")
The dog is red.
Unknown
rconc
[@1: The dog is red.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "red" "+")
The dog does not like the bald eagle.
Unknown
inv-rconc
[@1: The dog likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "bald eagle" "-")
The bald eagle needs the bald eagle.
Unknown
random
[@0: The bald eagle needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "needs" "bald eagle" "+")
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 dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The bald eagle is round.[(triple1)] The bald eagle likes the dog.[(triple2)] The bald eagle needs the bear.[(triple3)] The bald eagle needs the dog.[(triple4)] The bald eagle sees the bear.[(triple5)] The bear is red.[(triple6)] The bear is round.[(triple7)] The bear likes the bald eagle.[(triple8)] The bear needs the bald eagle.[(triple9 OR ((triple10 triple14) -> rule5))] The bear needs the dog.[(triple10)] The bear sees the bald eagle.[(triple11)] The bear sees the dog.[(triple12)] The dog is nice.[(triple13)] The dog needs the bald eagle.[(triple14)] The dog sees the bald eagle.[(triple15)] @1: The dog is young.[(((triple4 triple3) -> rule6))] @2: The dog sees the bear.[(((((triple4 triple3) -> rule6)) -> rule3))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bald eagle likes the dog.
("bald eagle" "likes" "dog" "+")
triple2
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple3
The bald eagle needs the dog.
("bald eagle" "needs" "dog" "+")
triple4
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple5
The bear is red.
("bear" "is" "red" "+")
triple6
The bear is round.
("bear" "is" "round" "+")
triple7
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple8
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple9
((triple10 triple14) -> (rule5 % int1))
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
int1
The bear needs the dog.
("bear" "needs" "dog" "+")
triple10
The bear sees the bald eagle.
("bear" "sees" "bald eagle" "+")
triple11
The bear sees the dog.
("bear" "sees" "dog" "+")
triple12
The dog is nice.
("dog" "is" "nice" "+")
triple13
The dog needs the bald eagle.
("dog" "needs" "bald eagle" "+")
triple14
The dog sees the bald eagle.
("dog" "sees" "bald eagle" "+")
triple15
The dog is young.
("dog" "is" "young" "+")
((triple4 triple3) -> (rule6 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
((((triple4 triple3) -> (rule6 % int2))) -> (rule3 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2