The lion eats the rabbit. The lion does not see the rabbit. The mouse eats the lion. The mouse eats the rabbit. The mouse is nice. The mouse is rough. The rabbit chases the mouse. The rabbit is big. The rabbit is not kind. The rabbit is round. If the mouse is nice and the mouse chases the rabbit then the rabbit sees the mouse. If someone is nice then they see the mouse. If someone is kind then they eat the mouse.
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion does not see the rabbit.
("lion" "sees" "rabbit" "-")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is not kind.
("rabbit" "is" "kind" "-")
The rabbit is round.
("rabbit" "is" "round" "+")
If the mouse is nice and the mouse chases the rabbit then the rabbit sees the mouse.
((("mouse" "is" "nice" "+") ("mouse" "chases" "rabbit" "+")) -> ("rabbit" "sees" "mouse" "+"))
If someone is nice then they see the mouse.
((("someone" "is" "nice" "+")) -> ("someone" "sees" "mouse" "+"))
If someone is kind then they eat the mouse.
((("someone" "is" "kind" "+")) -> ("someone" "eats" "mouse" "+"))
The lion does not see the rabbit.
True
1
proof
[(triple2)]
("lion" "sees" "rabbit" "-")
triple2
The mouse does not eat the lion.
False
1
inv-proof
[(triple3)]
("mouse" "eats" "lion" "-")
triple3
The rabbit does not eat the mouse.
Unknown
inv-rconc
[@1: The rabbit eats the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "eats" "mouse" "-")
The lion is nice.
Unknown
random
[@0: The lion is nice.[CWA. Example of deepest failure = (FAIL)]]
("lion" "is" "nice" "+")
@0: The lion does not see the rabbit.[(triple2)] The lion eats the rabbit.[(triple1)] The mouse eats the lion.[(triple3)] The mouse eats the rabbit.[(triple4)] The mouse is nice.[(triple5)] The mouse is rough.[(triple6)] The rabbit chases the mouse.[(triple7)] The rabbit is big.[(triple8)] The rabbit is not kind.[(triple9)] The rabbit is round.[(triple10)] @1: The mouse sees the mouse.[(((triple5) -> rule2))]
The lion does not see the rabbit.
("lion" "sees" "rabbit" "-")
triple2
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple1
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple3
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple7
The rabbit is big.
("rabbit" "is" "big" "+")
triple8
The rabbit is not kind.
("rabbit" "is" "kind" "-")
triple9
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((triple5) -> (rule2 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1