The bald eagle is round. The bear is round. The lion is young. The lion sees the bald eagle. The rabbit chases the lion. The rabbit is big. The rabbit visits the lion. If someone is big and they visit the bald eagle then they chase the bear. If someone visits the bear then they chase the bear. If someone sees the bald eagle then they are round. If someone visits the rabbit and the rabbit is round then they are round. If someone chases the bald eagle and the bald eagle sees the bear then they see the bald eagle. If someone chases the bald eagle then they see the bald eagle.
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bear is round.
("bear" "is" "round" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone is big and they visit the bald eagle then they chase the bear.
((("someone" "is" "big" "+") ("someone" "visits" "bald eagle" "+")) -> ("someone" "chases" "bear" "+"))
If someone visits the bear then they chase the bear.
((("someone" "visits" "bear" "+")) -> ("someone" "chases" "bear" "+"))
If someone sees the bald eagle then they are round.
((("someone" "sees" "bald eagle" "+")) -> ("someone" "is" "round" "+"))
If someone visits the rabbit and the rabbit is round then they are round.
((("someone" "visits" "rabbit" "+") ("rabbit" "is" "round" "+")) -> ("someone" "is" "round" "+"))
If someone chases the bald eagle and the bald eagle sees the bear then they see the bald eagle.
((("someone" "chases" "bald eagle" "+") ("bald eagle" "sees" "bear" "+")) -> ("someone" "sees" "bald eagle" "+"))
If someone chases the bald eagle then they see the bald eagle.
((("someone" "chases" "bald eagle" "+")) -> ("someone" "sees" "bald eagle" "+"))
The rabbit visits the lion.
True
1
proof
[(triple7)]
("rabbit" "visits" "lion" "+")
triple7
The rabbit is not big.
False
1
inv-proof
[(triple6)]
("rabbit" "is" "big" "-")
triple6
The rabbit does not see the bald eagle.
Unknown
inv-rconc
[@1: The rabbit sees the bald eagle.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "sees" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle is round.[(triple1)] The bear is round.[(triple2)] The lion is young.[(triple3)] The lion sees the bald eagle.[(triple4)] The rabbit chases the lion.[(triple5)] The rabbit is big.[(triple6)] The rabbit visits the lion.[(triple7)] @1: The lion is round.[(((triple4) -> rule3))]
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple1
The bear is round.
("bear" "is" "round" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple4
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple5
The rabbit is big.
("rabbit" "is" "big" "+")
triple6
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
((triple4) -> (rule3 % int1))
The lion is round.
("lion" "is" "round" "+")
int1