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