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