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