The mouse chases the rabbit. The mouse is kind. The mouse sees the rabbit. The rabbit chases the mouse. The rabbit is young. The rabbit likes the mouse. The rabbit sees the mouse. If someone chases the rabbit then they like the rabbit.
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If someone chases the rabbit then they like the rabbit.
((("someone" "chases" "rabbit" "+")) -> ("someone" "likes" "rabbit" "+"))
The rabbit chases the mouse.
True
1
proof
[(triple4)]
("rabbit" "chases" "mouse" "+")
triple4
The rabbit does not like the mouse.
False
1
inv-proof
[(triple6)]
("rabbit" "likes" "mouse" "-")
triple6
The mouse likes the rabbit.
True
2
proof
[(((triple1) -> rule1))]
("mouse" "likes" "rabbit" "+")
((triple1) -> (rule1 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The mouse does not like the rabbit.
False
2
inv-proof
[(((triple1) -> rule1))]
("mouse" "likes" "rabbit" "-")
((triple1) -> (rule1 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The rabbit does not like the rabbit.
Unknown
inv-rconc
[@1: The rabbit likes the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The rabbit is kind.
Unknown
random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "+")
The mouse is not green.
Unknown
inv-random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
@0: The mouse chases the rabbit.[(triple1)] The mouse is kind.[(triple2)] The mouse sees the rabbit.[(triple3)] The rabbit chases the mouse.[(triple4)] The rabbit is young.[(triple5)] The rabbit likes the mouse.[(triple6)] The rabbit sees the mouse.[(triple7)] @1: The mouse likes the rabbit.[(((triple1) -> rule1))]
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple1
The mouse is kind.
("mouse" "is" "kind" "+")
triple2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple3
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple4
The rabbit is young.
("rabbit" "is" "young" "+")
triple5
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple6
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
((triple1) -> (rule1 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1