The bald eagle is not blue. The bald eagle sees the bear. The bear is kind. The bear is not red. The bear likes the rabbit. The bear likes the squirrel. The rabbit is not nice. The rabbit is not red. The rabbit likes the bald eagle. The rabbit does not see the squirrel. The squirrel likes the bald eagle. The squirrel likes the rabbit. The squirrel needs the bald eagle. The squirrel needs the rabbit. The squirrel sees the bear. If someone needs the bald eagle then they like the bear. If the squirrel sees the bald eagle then the squirrel is nice. If the bald eagle is not blue then the bald eagle does not need the bear.
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is kind.
("bear" "is" "kind" "+")
The bear is not red.
("bear" "is" "red" "-")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit is not red.
("rabbit" "is" "red" "-")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
If someone needs the bald eagle then they like the bear.
((("someone" "needs" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If the squirrel sees the bald eagle then the squirrel is nice.
((("squirrel" "sees" "bald eagle" "+")) -> ("squirrel" "is" "nice" "+"))
If the bald eagle is not blue then the bald eagle does not need the bear.
((("bald eagle" "is" "blue" "~")) -> ("bald eagle" "needs" "bear" "-"))
The squirrel likes the rabbit.
True
1
proof
[(triple12)]
("squirrel" "likes" "rabbit" "+")
triple12
The squirrel does not need the rabbit.
False
1
inv-proof
[(triple14)]
("squirrel" "needs" "rabbit" "-")
triple14
The bald eagle does not need the bear.
True
2
proof
[(((triple1) -> rule3))]
("bald eagle" "needs" "bear" "-")
((triple1) -> (rule3 % int1))
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
int1
The bald eagle needs the bear.
False
2
inv-proof
[(((triple1) -> rule3))]
("bald eagle" "needs" "bear" "+")
((triple1) -> (rule3 % int1))
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
int1
The bald eagle does not like the bear.
Unknown
inv-rconc
[@1: The bald eagle likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "likes" "bear" "-")
The bear likes the bear.
Unknown
rconc
[@1: The bear likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "likes" "bear" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
@0: The bald eagle is not blue.[(triple1)] The bald eagle sees the bear.[(triple2)] The bear is kind.[(triple3)] The bear is not red.[(triple4)] The bear likes the rabbit.[(triple5)] The bear likes the squirrel.[(triple6)] The rabbit does not see the squirrel.[(triple10)] The rabbit is not nice.[(triple7)] The rabbit is not red.[(triple8)] The rabbit likes the bald eagle.[(triple9)] The squirrel likes the bald eagle.[(triple11)] The squirrel likes the rabbit.[(triple12)] The squirrel needs the bald eagle.[(triple13)] The squirrel needs the rabbit.[(triple14)] The squirrel sees the bear.[(triple15)] @1: The bald eagle does not need the bear.[(((triple1) -> rule3))] The squirrel likes the bear.[(((triple13) -> rule1))]
The bald eagle is not blue.
("bald eagle" "is" "blue" "-")
triple1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple2
The bear is kind.
("bear" "is" "kind" "+")
triple3
The bear is not red.
("bear" "is" "red" "-")
triple4
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple5
The bear likes the squirrel.
("bear" "likes" "squirrel" "+")
triple6
The rabbit does not see the squirrel.
("rabbit" "sees" "squirrel" "-")
triple10
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple7
The rabbit is not red.
("rabbit" "is" "red" "-")
triple8
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple9
The squirrel likes the bald eagle.
("squirrel" "likes" "bald eagle" "+")
triple11
The squirrel likes the rabbit.
("squirrel" "likes" "rabbit" "+")
triple12
The squirrel needs the bald eagle.
("squirrel" "needs" "bald eagle" "+")
triple13
The squirrel needs the rabbit.
("squirrel" "needs" "rabbit" "+")
triple14
The squirrel sees the bear.
("squirrel" "sees" "bear" "+")
triple15
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
((triple1) -> (rule3 % int1))
The bald eagle does not need the bear.
("bald eagle" "needs" "bear" "-")
int1
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
((triple13) -> (rule1 % int1))
The squirrel likes the bear.
("squirrel" "likes" "bear" "+")
int1