The bald eagle likes the bear. The bear is not young. The rabbit visits the bear. If someone visits the bald eagle then they like the bear. If the bald eagle visits the bear and the bear does not like the rabbit then the bald eagle is kind. If someone is kind and they visit the rabbit then they are green. If the bald eagle sees the bear and the bear visits the bald eagle then the bear sees the rabbit. If someone visits the bear then the bear does not like the bald eagle. If the rabbit is not red then the rabbit is not cold.
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
The bear is not young.
("bear" "is" "young" "-")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone visits the bald eagle then they like the bear.
((("someone" "visits" "bald eagle" "+")) -> ("someone" "likes" "bear" "+"))
If the bald eagle visits the bear and the bear does not like the rabbit then the bald eagle is kind.
((("bald eagle" "visits" "bear" "+") ("bear" "likes" "rabbit" "~")) -> ("bald eagle" "is" "kind" "+"))
If someone is kind and they visit the rabbit then they are green.
((("someone" "is" "kind" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "is" "green" "+"))
If the bald eagle sees the bear and the bear visits the bald eagle then the bear sees the rabbit.
((("bald eagle" "sees" "bear" "+") ("bear" "visits" "bald eagle" "+")) -> ("bear" "sees" "rabbit" "+"))
If someone visits the bear then the bear does not like the bald eagle.
((("someone" "visits" "bear" "+")) -> ("bear" "likes" "bald eagle" "-"))
If the rabbit is not red then the rabbit is not cold.
((("rabbit" "is" "red" "~")) -> ("rabbit" "is" "cold" "-"))
The rabbit visits the bear.
True
1
proof
[(triple3)]
("rabbit" "visits" "bear" "+")
triple3
The bear is young.
False
1
inv-proof
[(triple2)]
("bear" "is" "young" "+")
triple2
The bear does not like the bald eagle.
True
2
proof
[(((triple3) -> rule5))]
("bear" "likes" "bald eagle" "-")
((triple3) -> (rule5 % int1))
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
int1
The bear likes the bald eagle.
False
2
inv-proof
[(((triple3) -> rule5))]
("bear" "likes" "bald eagle" "+")
((triple3) -> (rule5 % int1))
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
int1
The bear does not see the rabbit.
Unknown
inv-rconc
[@1: The bear sees the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "sees" "rabbit" "-")
The rabbit likes the bear.
Unknown
rconc
[@1: The rabbit likes the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "bear" "+")
The rabbit does not see the bear.
Unknown
inv-random
[@0: The rabbit sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "bear" "-")
The bear sees the bald eagle.
Unknown
random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "+")
@0: The bald eagle likes the bear.[(triple1)] The bear is not young.[(triple2)] The rabbit visits the bear.[(triple3)] @1: The bear does not like the bald eagle.[(((triple3) -> rule5))]
The bald eagle likes the bear.
("bald eagle" "likes" "bear" "+")
triple1
The bear is not young.
("bear" "is" "young" "-")
triple2
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple3
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
((triple3) -> (rule5 % int1))
The bear does not like the bald eagle.
("bear" "likes" "bald eagle" "-")
int1