The bald eagle needs the rabbit. The cow is blue. The cow is cold. The cow likes the bald eagle. The cow sees the rabbit. The rabbit likes the bald eagle. The rabbit sees the cow. If someone needs the cow and the cow sees the rabbit then the cow likes the bald eagle. If someone sees the cow and the cow likes the bald eagle then the bald eagle likes the rabbit. If someone needs the bald eagle and they like the bald eagle then they are young. If someone likes the rabbit and they are nice then they need the cow. If someone likes the rabbit and the rabbit is round then they need the cow. If someone likes the bald eagle and they need the rabbit then they are young.
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is cold.
("cow" "is" "cold" "+")
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
If someone needs the cow and the cow sees the rabbit then the cow likes the bald eagle.
((("someone" "needs" "cow" "+") ("cow" "sees" "rabbit" "+")) -> ("cow" "likes" "bald eagle" "+"))
If someone sees the cow and the cow likes the bald eagle then the bald eagle likes the rabbit.
((("someone" "sees" "cow" "+") ("cow" "likes" "bald eagle" "+")) -> ("bald eagle" "likes" "rabbit" "+"))
If someone needs the bald eagle and they like the bald eagle then they are young.
((("someone" "needs" "bald eagle" "+") ("someone" "likes" "bald eagle" "+")) -> ("someone" "is" "young" "+"))
If someone likes the rabbit and they are nice then they need the cow.
((("someone" "likes" "rabbit" "+") ("someone" "is" "nice" "+")) -> ("someone" "needs" "cow" "+"))
If someone likes the rabbit and the rabbit is round then they need the cow.
((("someone" "likes" "rabbit" "+") ("rabbit" "is" "round" "+")) -> ("someone" "needs" "cow" "+"))
If someone likes the bald eagle and they need the rabbit then they are young.
((("someone" "likes" "bald eagle" "+") ("someone" "needs" "rabbit" "+")) -> ("someone" "is" "young" "+"))
The cow sees the rabbit.
True
1
proof
[(triple5)]
("cow" "sees" "rabbit" "+")
triple5
The cow does not like the bald eagle.
False
1
inv-proof
[(triple4)]
("cow" "likes" "bald eagle" "-")
triple4
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "is" "young" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The bald eagle needs the rabbit.[(triple1)] The cow is blue.[(triple2)] The cow is cold.[(triple3)] The cow likes the bald eagle.[(triple4)] The cow sees the rabbit.[(triple5)] The rabbit likes the bald eagle.[(triple6)] The rabbit sees the cow.[(triple7)] @1: The bald eagle likes the rabbit.[(((triple7 triple4) -> rule2))]
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is cold.
("cow" "is" "cold" "+")
triple3
The cow likes the bald eagle.
("cow" "likes" "bald eagle" "+")
triple4
The cow sees the rabbit.
("cow" "sees" "rabbit" "+")
triple5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple6
The rabbit sees the cow.
("rabbit" "sees" "cow" "+")
triple7
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
((triple7 triple4) -> (rule2 % int1))
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
int1