The cat chases the mouse. The cat likes the mouse. The cat likes the rabbit. The dog is green. The dog is nice. The dog is young. The dog sees the rabbit. The mouse is nice. The mouse is rough. The mouse likes the dog. The mouse sees the dog. The mouse sees the rabbit. The rabbit chases the cat. The rabbit chases the mouse. The rabbit sees the dog. The rabbit sees the mouse. If something chases the rabbit and it is rough then the rabbit likes the mouse. If something is rough then it chases the rabbit.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If something chases the rabbit and it is rough then the rabbit likes the mouse.
((("something" "chases" "rabbit" "+") ("something" "is" "rough" "+")) -> ("rabbit" "likes" "mouse" "+"))
If something is rough then it chases the rabbit.
((("something" "is" "rough" "+")) -> ("something" "chases" "rabbit" "+"))
The cat likes the rabbit.
True
1
proof
[(triple3)]
("cat" "likes" "rabbit" "+")
triple3
The mouse is not nice.
False
1
inv-proof
[(triple8)]
("mouse" "is" "nice" "-")
triple8
The mouse chases the rabbit.
True
2
proof
[(((triple9) -> rule2))]
("mouse" "chases" "rabbit" "+")
((triple9) -> (rule2 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The mouse does not chase the rabbit.
False
2
inv-proof
[(((triple9) -> rule2))]
("mouse" "chases" "rabbit" "-")
((triple9) -> (rule2 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The rabbit likes the mouse.
True
4
proof
[(((((triple9) -> rule2) triple9) -> rule1))]
("rabbit" "likes" "mouse" "+")
((((triple9) -> (rule2 % int2)) triple9) -> (rule1 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The rabbit does not like the mouse.
False
4
inv-proof
[(((((triple9) -> rule2) triple9) -> rule1))]
("rabbit" "likes" "mouse" "-")
((((triple9) -> (rule2 % int2)) triple9) -> (rule1 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2
The dog does not chase the rabbit.
Unknown
inv-rconc
[@1: The dog chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "rabbit" "-")
The rabbit chases the rabbit.
Unknown
rconc
[@1: The rabbit chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "rabbit" "+")
The cat does not chase the rabbit.
Unknown
inv-rconc
[@1: The cat chases the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "chases" "rabbit" "-")
The rabbit is young.
Unknown
random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "+")
The cat does not chase the cat.
Unknown
inv-random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "-")
The rabbit is rough.
Unknown
random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "+")
@0: The cat chases the mouse.[(triple1)] The cat likes the mouse.[(triple2)] The cat likes the rabbit.[(triple3)] The dog is green.[(triple4)] The dog is nice.[(triple5)] The dog is young.[(triple6)] The dog sees the rabbit.[(triple7)] The mouse is nice.[(triple8)] The mouse is rough.[(triple9)] The mouse likes the dog.[(triple10)] The mouse sees the dog.[(triple11)] The mouse sees the rabbit.[(triple12)] The rabbit chases the cat.[(triple13)] The rabbit chases the mouse.[(triple14)] The rabbit sees the dog.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The mouse chases the rabbit.[(((triple9) -> rule2))] @2: The rabbit likes the mouse.[(((((triple9) -> rule2) triple9) -> rule1))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple2
The cat likes the rabbit.
("cat" "likes" "rabbit" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is nice.
("dog" "is" "nice" "+")
triple5
The dog is young.
("dog" "is" "young" "+")
triple6
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple7
The mouse is nice.
("mouse" "is" "nice" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple10
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple11
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
triple12
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple13
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
triple14
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple15
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple16
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
((triple9) -> (rule2 % int1))
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
((((triple9) -> (rule2 % int2)) triple9) -> (rule1 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
int2