The bear sees the rabbit. The mouse sees the rabbit. The rabbit is not big. The tiger does not visit the rabbit. If something is rough and it visits the rabbit then the rabbit is not young. If something sees the tiger and it sees the mouse then the mouse sees the rabbit. If something visits the mouse then the mouse sees the rabbit. If the rabbit likes the tiger and the tiger is young then the rabbit visits the bear. If the rabbit does not like the mouse then the rabbit is round. If the mouse does not visit the tiger and the mouse does not like the rabbit then the mouse is round.
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit is not big.
("rabbit" "is" "big" "-")
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
If something is rough and it visits the rabbit then the rabbit is not young.
((("something" "is" "rough" "+") ("something" "visits" "rabbit" "+")) -> ("rabbit" "is" "young" "-"))
If something sees the tiger and it sees the mouse then the mouse sees the rabbit.
((("something" "sees" "tiger" "+") ("something" "sees" "mouse" "+")) -> ("mouse" "sees" "rabbit" "+"))
If something visits the mouse then the mouse sees the rabbit.
((("something" "visits" "mouse" "+")) -> ("mouse" "sees" "rabbit" "+"))
If the rabbit likes the tiger and the tiger is young then the rabbit visits the bear.
((("rabbit" "likes" "tiger" "+") ("tiger" "is" "young" "+")) -> ("rabbit" "visits" "bear" "+"))
If the rabbit does not like the mouse then the rabbit is round.
((("rabbit" "likes" "mouse" "~")) -> ("rabbit" "is" "round" "+"))
If the mouse does not visit the tiger and the mouse does not like the rabbit then the mouse is round.
((("mouse" "visits" "tiger" "~") ("mouse" "likes" "rabbit" "~")) -> ("mouse" "is" "round" "+"))
The rabbit is not big.
True
1
proof
[(triple3)]
("rabbit" "is" "big" "-")
triple3
The tiger visits the rabbit.
False
1
inv-proof
[(triple4)]
("tiger" "visits" "rabbit" "+")
triple4
The rabbit is not round.
Unknown
inv-rconc
[@1: The rabbit is round.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "is" "round" "-")
The mouse is big.
Unknown
random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "+")
@0: The bear sees the rabbit.[(triple1)] The mouse sees the rabbit.[(triple2)] The rabbit is not big.[(triple3)] The tiger does not visit the rabbit.[(triple4)]
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple1
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple2
The rabbit is not big.
("rabbit" "is" "big" "-")
triple3
The tiger does not visit the rabbit.
("tiger" "visits" "rabbit" "-")
triple4