The mouse is green. The mouse is nice. The mouse is young. The mouse sees the rabbit. The rabbit is green. The rabbit is kind. The rabbit is nice. The rabbit likes the mouse. The rabbit needs the mouse. The rabbit sees the mouse. If the mouse needs the rabbit and the rabbit likes the mouse then the rabbit needs the mouse. If someone is kind then they need the rabbit. If the rabbit likes the mouse and the rabbit needs the mouse then the rabbit is nice. If someone sees the mouse then they are round. If someone needs the mouse and the mouse likes the rabbit then they like the mouse. If someone is green and nice then they see the rabbit. If the mouse likes the rabbit and the rabbit is nice then the mouse is green. If someone sees the mouse then they are round.
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
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 the mouse needs the rabbit and the rabbit likes the mouse then the rabbit needs the mouse.
((("mouse" "needs" "rabbit" "+") ("rabbit" "likes" "mouse" "+")) -> ("rabbit" "needs" "mouse" "+"))
If someone is kind then they need the rabbit.
((("someone" "is" "kind" "+")) -> ("someone" "needs" "rabbit" "+"))
If the rabbit likes the mouse and the rabbit needs the mouse then the rabbit is nice.
((("rabbit" "likes" "mouse" "+") ("rabbit" "needs" "mouse" "+")) -> ("rabbit" "is" "nice" "+"))
If someone sees the mouse then they are round.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "round" "+"))
If someone needs the mouse and the mouse likes the rabbit then they like the mouse.
((("someone" "needs" "mouse" "+") ("mouse" "likes" "rabbit" "+")) -> ("someone" "likes" "mouse" "+"))
If someone is green and nice then they see the rabbit.
((("someone" "is" "green" "+") ("someone" "is" "nice" "+")) -> ("someone" "sees" "rabbit" "+"))
If the mouse likes the rabbit and the rabbit is nice then the mouse is green.
((("mouse" "likes" "rabbit" "+") ("rabbit" "is" "nice" "+")) -> ("mouse" "is" "green" "+"))
If someone sees the mouse then they are round.
((("someone" "sees" "mouse" "+")) -> ("someone" "is" "round" "+"))
The mouse sees the rabbit.
True
1
proof
[(triple4 OR ((triple1 triple2) -> rule6))]
("mouse" "sees" "rabbit" "+")
triple4
((triple1 triple2) -> (rule6 % int1))
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int1
The rabbit does not like the mouse.
False
1
inv-proof
[(triple8)]
("rabbit" "likes" "mouse" "-")
triple8
The rabbit needs the rabbit.
True
2
proof
[(((triple6) -> rule2))]
("rabbit" "needs" "rabbit" "+")
((triple6) -> (rule2 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit does not see the rabbit.
False
3
inv-proof
[(((triple5 triple7) -> rule6) OR ((triple5 ((triple8 triple9) -> rule3)) -> rule6))]
("rabbit" "sees" "rabbit" "-")
((triple5 triple7) -> (rule6 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
((triple5 ((triple8 triple9) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The mouse does not need the rabbit.
Unknown
inv-rconc
[@1: The mouse needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "needs" "rabbit" "-")
The mouse is round.
Unknown
rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("mouse" "is" "round" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
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 is green.[(triple1)] The mouse is nice.[(triple2)] The mouse is young.[(triple3)] The mouse sees the rabbit.[(triple4 OR ((triple1 triple2) -> rule6))] The rabbit is green.[(triple5)] The rabbit is kind.[(triple6)] The rabbit is nice.[(triple7 OR ((triple8 triple9) -> rule3))] The rabbit likes the mouse.[(triple8)] The rabbit needs the mouse.[(triple9)] The rabbit sees the mouse.[(triple10)] @1: The rabbit is round.[(((triple10) -> rule4) OR ((triple10) -> rule8))] The rabbit needs the rabbit.[(((triple6) -> rule2))] The rabbit sees the rabbit.[(((triple5 triple7) -> rule6) OR ((triple5 ((triple8 triple9) -> rule3)) -> rule6))]
The mouse is green.
("mouse" "is" "green" "+")
triple1
The mouse is nice.
("mouse" "is" "nice" "+")
triple2
The mouse is young.
("mouse" "is" "young" "+")
triple3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple4
((triple1 triple2) -> (rule6 % int1))
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int1
The rabbit is green.
("rabbit" "is" "green" "+")
triple5
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple6
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple7
((triple8 triple9) -> (rule3 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
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 rabbit is round.
("rabbit" "is" "round" "+")
((triple10) -> (rule4 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
((triple10) -> (rule8 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
((triple6) -> (rule2 % int1))
The rabbit needs the rabbit.
("rabbit" "needs" "rabbit" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((triple5 triple7) -> (rule6 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
((triple5 ((triple8 triple9) -> (rule3 % int2))) -> (rule6 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2