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