The bald eagle eats the rabbit. The mouse is big. The rabbit is young. The squirrel eats the bald eagle. If someone eats the rabbit then the rabbit eats the bald eagle. If someone sees the rabbit and the rabbit eats the mouse then they visit the bald eagle. If the mouse eats the rabbit and the rabbit visits the squirrel then the squirrel eats the rabbit. If someone eats the rabbit and the rabbit eats the squirrel then they see the rabbit. If the squirrel is young and the squirrel is round then the squirrel visits the bald eagle. If someone sees the rabbit then they eat the squirrel. If someone visits the mouse then they visit the squirrel. If someone eats the bald eagle and the bald eagle sees the mouse then they see the bald eagle.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The mouse is big.
("mouse" "is" "big" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
If someone eats the rabbit then the rabbit eats the bald eagle.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If someone sees the rabbit and the rabbit eats the mouse then they visit the bald eagle.
((("someone" "sees" "rabbit" "+") ("rabbit" "eats" "mouse" "+")) -> ("someone" "visits" "bald eagle" "+"))
If the mouse eats the rabbit and the rabbit visits the squirrel then the squirrel eats the rabbit.
((("mouse" "eats" "rabbit" "+") ("rabbit" "visits" "squirrel" "+")) -> ("squirrel" "eats" "rabbit" "+"))
If someone eats the rabbit and the rabbit eats the squirrel then they see the rabbit.
((("someone" "eats" "rabbit" "+") ("rabbit" "eats" "squirrel" "+")) -> ("someone" "sees" "rabbit" "+"))
If the squirrel is young and the squirrel is round then the squirrel visits the bald eagle.
((("squirrel" "is" "young" "+") ("squirrel" "is" "round" "+")) -> ("squirrel" "visits" "bald eagle" "+"))
If someone sees the rabbit then they eat the squirrel.
((("someone" "sees" "rabbit" "+")) -> ("someone" "eats" "squirrel" "+"))
If someone visits the mouse then they visit the squirrel.
((("someone" "visits" "mouse" "+")) -> ("someone" "visits" "squirrel" "+"))
If someone eats the bald eagle and the bald eagle sees the mouse then they see the bald eagle.
((("someone" "eats" "bald eagle" "+") ("bald eagle" "sees" "mouse" "+")) -> ("someone" "sees" "bald eagle" "+"))
The mouse is big.
True
1
proof
[(triple2)]
("mouse" "is" "big" "+")
triple2
The mouse is not big.
False
1
inv-proof
[(triple2)]
("mouse" "is" "big" "-")
triple2
The rabbit does not visit the squirrel.
Unknown
inv-rconc
[@1: The rabbit visits the squirrel.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("rabbit" "visits" "squirrel" "-")
The rabbit sees the mouse.
Unknown
random
[@0: The rabbit sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "mouse" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The mouse is big.[(triple2)] The rabbit is young.[(triple3)] The squirrel eats the bald eagle.[(triple4)] @1: The rabbit eats the bald eagle.[(((triple1) -> rule1))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The mouse is big.
("mouse" "is" "big" "+")
triple2
The rabbit is young.
("rabbit" "is" "young" "+")
triple3
The squirrel eats the bald eagle.
("squirrel" "eats" "bald eagle" "+")
triple4
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((triple1) -> (rule1 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1