The mouse is red. The mouse likes the tiger. The mouse needs the rabbit. The mouse sees the rabbit. The rabbit is blue. The rabbit is nice. The rabbit is red. The rabbit is rough. The rabbit is round. The rabbit needs the squirrel. The rabbit sees the mouse. The rabbit sees the squirrel. The squirrel likes the mouse. The tiger is nice. The tiger likes the rabbit. If someone needs the mouse and they need the tiger then the tiger is rough. If someone sees the rabbit and the rabbit is red then they like the rabbit.
The mouse is red.
("mouse" "is" "red" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
If someone needs the mouse and they need the tiger then the tiger is rough.
((("someone" "needs" "mouse" "+") ("someone" "needs" "tiger" "+")) -> ("tiger" "is" "rough" "+"))
If someone sees the rabbit and the rabbit is red then they like the rabbit.
((("someone" "sees" "rabbit" "+") ("rabbit" "is" "red" "+")) -> ("someone" "likes" "rabbit" "+"))
The mouse likes the tiger.
True
1
proof
[(triple2)]
("mouse" "likes" "tiger" "+")
triple2
The tiger is not nice.
False
1
inv-proof
[(triple14)]
("tiger" "is" "nice" "-")
triple14
The mouse likes the rabbit.
True
3
proof
[(((triple4 triple7) -> rule2))]
("mouse" "likes" "rabbit" "+")
((triple4 triple7) -> (rule2 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1
The mouse does not like the rabbit.
False
3
inv-proof
[(((triple4 triple7) -> rule2))]
("mouse" "likes" "rabbit" "-")
((triple4 triple7) -> (rule2 % 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 = (rule2 <- FAIL)]]
("rabbit" "likes" "rabbit" "-")
The tiger is rough.
Unknown
rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "rough" "+")
The tiger does not see the tiger.
Unknown
inv-random
[@0: The tiger sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "tiger" "-")
The tiger sees the rabbit.
Unknown
random
[@0: The tiger sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "rabbit" "+")
@0: The mouse is red.[(triple1)] The mouse likes the tiger.[(triple2)] The mouse needs the rabbit.[(triple3)] The mouse sees the rabbit.[(triple4)] The rabbit is blue.[(triple5)] The rabbit is nice.[(triple6)] The rabbit is red.[(triple7)] The rabbit is rough.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the squirrel.[(triple10)] The rabbit sees the mouse.[(triple11)] The rabbit sees the squirrel.[(triple12)] The squirrel likes the mouse.[(triple13)] The tiger is nice.[(triple14)] The tiger likes the rabbit.[(triple15)] @1: The mouse likes the rabbit.[(((triple4 triple7) -> rule2))]
The mouse is red.
("mouse" "is" "red" "+")
triple1
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple2
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple3
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple4
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple5
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple6
The rabbit is red.
("rabbit" "is" "red" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple10
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple11
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
triple12
The squirrel likes the mouse.
("squirrel" "likes" "mouse" "+")
triple13
The tiger is nice.
("tiger" "is" "nice" "+")
triple14
The tiger likes the rabbit.
("tiger" "likes" "rabbit" "+")
triple15
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
((triple4 triple7) -> (rule2 % int1))
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
int1