The bald eagle likes the rabbit. The bear does not eat the bald eagle. The bear is young. The bear likes the bald eagle. The rabbit is not rough. The rabbit is round. The rabbit likes the bald eagle. If someone is rough and not blue then they like the bear. If someone is rough and they do not eat the bear then they like the bald eagle.
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
The bear is young.
("bear" "is" "young" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The rabbit is not rough.
("rabbit" "is" "rough" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If someone is rough and not blue then they like the bear.
((("someone" "is" "rough" "+") ("someone" "is" "blue" "~")) -> ("someone" "likes" "bear" "+"))
If someone is rough and they do not eat the bear then they like the bald eagle.
((("someone" "is" "rough" "+") ("someone" "eats" "bear" "~")) -> ("someone" "likes" "bald eagle" "+"))
The bald eagle likes the rabbit.
True
1
proof
[(triple1)]
("bald eagle" "likes" "rabbit" "+")
triple1
The bear eats the bald eagle.
False
1
inv-proof
[(triple2)]
("bear" "eats" "bald eagle" "+")
triple2
The bald eagle does not like the bald eagle.
Unknown
inv-rconc
[@1: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle is blue.
Unknown
random
[@0: The bald eagle is blue.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "blue" "+")
@0: The bald eagle likes the rabbit.[(triple1)] The bear does not eat the bald eagle.[(triple2)] The bear is young.[(triple3)] The bear likes the bald eagle.[(triple4)] The rabbit is not rough.[(triple5)] The rabbit is round.[(triple6)] The rabbit likes the bald eagle.[(triple7)]
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple1
The bear does not eat the bald eagle.
("bear" "eats" "bald eagle" "-")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The rabbit is not rough.
("rabbit" "is" "rough" "-")
triple5
The rabbit is round.
("rabbit" "is" "round" "+")
triple6
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple7