The bald eagle is young. The bald eagle sees the rabbit. The rabbit likes the bald eagle. If something is round and it needs the rabbit then it likes the rabbit. If something sees the rabbit and it does not need the rabbit then it is big. If something likes the rabbit and the rabbit likes the bald eagle then the bald eagle is kind. If something is kind then it sees the bald eagle. If something likes the bald eagle and the bald eagle likes the rabbit then the bald eagle sees the rabbit. If something is red and it sees the bald eagle then it is round. If something needs the rabbit and the rabbit does not like the bald eagle then the rabbit needs the bald eagle. If something is kind and not young then it sees the rabbit.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
If something is round and it needs the rabbit then it likes the rabbit.
((("something" "is" "round" "+") ("something" "needs" "rabbit" "+")) -> ("something" "likes" "rabbit" "+"))
If something sees the rabbit and it does not need the rabbit then it is big.
((("something" "sees" "rabbit" "+") ("something" "needs" "rabbit" "~")) -> ("something" "is" "big" "+"))
If something likes the rabbit and the rabbit likes the bald eagle then the bald eagle is kind.
((("something" "likes" "rabbit" "+") ("rabbit" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "kind" "+"))
If something is kind then it sees the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "sees" "bald eagle" "+"))
If something likes the bald eagle and the bald eagle likes the rabbit then the bald eagle sees the rabbit.
((("something" "likes" "bald eagle" "+") ("bald eagle" "likes" "rabbit" "+")) -> ("bald eagle" "sees" "rabbit" "+"))
If something is red and it sees the bald eagle then it is round.
((("something" "is" "red" "+") ("something" "sees" "bald eagle" "+")) -> ("something" "is" "round" "+"))
If something needs the rabbit and the rabbit does not like the bald eagle then the rabbit needs the bald eagle.
((("something" "needs" "rabbit" "+") ("rabbit" "likes" "bald eagle" "~")) -> ("rabbit" "needs" "bald eagle" "+"))
If something is kind and not young then it sees the rabbit.
((("something" "is" "kind" "+") ("something" "is" "young" "~")) -> ("something" "sees" "rabbit" "+"))
The rabbit likes the bald eagle.
True
1
proof
[(triple3)]
("rabbit" "likes" "bald eagle" "+")
triple3
The rabbit does not like the bald eagle.
False
1
inv-proof
[(triple3)]
("rabbit" "likes" "bald eagle" "-")
triple3
The rabbit does not need the bald eagle.
Unknown
inv-rconc
[@1: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
@0: The bald eagle is young.[(triple1)] The bald eagle sees the rabbit.[(triple2)] The rabbit likes the bald eagle.[(triple3)]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple2
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple3