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