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