The cat chases the dog. The cat chases the mouse. The cat eats the mouse. The cat visits the dog. The dog chases the mouse. The dog eats the cat. The dog does not eat the mouse. The dog is not blue. The dog is kind. The dog is nice. The dog visits the cat. The mouse chases the cat. The mouse does not eat the cat. The mouse is blue. The mouse is rough. The mouse is not young. If something chases the mouse and the mouse visits the cat then the cat does not eat the dog. If something chases the cat then it visits the cat. If something is rough and it chases the cat then it visits the mouse. If the dog eats the mouse and the dog chases the mouse then the dog does not chase the cat. If something visits the cat and the cat visits the dog then it chases the dog. If something chases the mouse and it is not nice then the mouse does not visit the cat. If the mouse chases the dog then the mouse visits the dog. If the mouse is rough and the mouse does not visit the cat then the mouse chases the dog.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog visits the cat.
("dog" "visits" "cat" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse does not eat the cat.
("mouse" "eats" "cat" "-")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is not young.
("mouse" "is" "young" "-")
If something chases the mouse and the mouse visits the cat then the cat does not eat the dog.
((("something" "chases" "mouse" "+") ("mouse" "visits" "cat" "+")) -> ("cat" "eats" "dog" "-"))
If something chases the cat then it visits the cat.
((("something" "chases" "cat" "+")) -> ("something" "visits" "cat" "+"))
If something is rough and it chases the cat then it visits the mouse.
((("something" "is" "rough" "+") ("something" "chases" "cat" "+")) -> ("something" "visits" "mouse" "+"))
If the dog eats the mouse and the dog chases the mouse then the dog does not chase the cat.
((("dog" "eats" "mouse" "+") ("dog" "chases" "mouse" "+")) -> ("dog" "chases" "cat" "-"))
If something visits the cat and the cat visits the dog then it chases the dog.
((("something" "visits" "cat" "+") ("cat" "visits" "dog" "+")) -> ("something" "chases" "dog" "+"))
If something chases the mouse and it is not nice then the mouse does not visit the cat.
((("something" "chases" "mouse" "+") ("something" "is" "nice" "~")) -> ("mouse" "visits" "cat" "-"))
If the mouse chases the dog then the mouse visits the dog.
((("mouse" "chases" "dog" "+")) -> ("mouse" "visits" "dog" "+"))
If the mouse is rough and the mouse does not visit the cat then the mouse chases the dog.
((("mouse" "is" "rough" "+") ("mouse" "visits" "cat" "~")) -> ("mouse" "chases" "dog" "+"))
The mouse is rough.
True
1
proof
[(triple15)]
("mouse" "is" "rough" "+")
triple15
The dog is not nice.
False
1
inv-proof
[(triple10)]
("dog" "is" "nice" "-")
triple10
The mouse visits the mouse.
True
3
proof
[(((triple15 triple12) -> rule3))]
("mouse" "visits" "mouse" "+")
((triple15 triple12) -> (rule3 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The mouse does not visit the cat.
False
2
inv-proof
[(((triple12) -> rule2))]
("mouse" "visits" "cat" "-")
((triple12) -> (rule2 % int1))
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int1
The mouse chases the dog.
True
4
proof
[(((((triple12) -> rule2) triple4) -> rule5))]
("mouse" "chases" "dog" "+")
((((triple12) -> (rule2 % int2)) triple4) -> (rule5 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int2
The cat eats the dog.
False
4
inv-proof
[(((triple2 ((triple12) -> rule2)) -> rule1) OR ((triple5 ((triple12) -> rule2)) -> rule1))]
("cat" "eats" "dog" "+")
((triple2 ((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The cat does not eat the dog.
("cat" "eats" "dog" "-")
int1
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int2
((triple5 ((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The cat does not eat the dog.
("cat" "eats" "dog" "-")
int1
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int2
The mouse visits the dog.
True
5
proof
[(((((((triple12) -> rule2) triple4) -> rule5)) -> rule7))]
("mouse" "visits" "dog" "+")
((((((triple12) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule7 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int3
The mouse does not visit the dog.
False
5
inv-proof
[(((((((triple12) -> rule2) triple4) -> rule5)) -> rule7))]
("mouse" "visits" "dog" "-")
((((((triple12) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule7 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int3
The cat does not visit the mouse.
Unknown
inv-rconc
[@1: The cat visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "visits" "mouse" "-")
The dog visits the mouse.
Unknown
rconc
[@1: The dog visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "visits" "mouse" "+")
The cat does not visit the cat.
Unknown
inv-rconc
[@1: The cat visits the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "visits" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
The mouse does not eat the dog.
Unknown
inv-random
[@0: The mouse eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "dog" "-")
The cat is young.
Unknown
random
[@0: The cat is young.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "young" "+")
The dog does not chase the cat.
Unknown
inv-random
[@0: The dog chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "cat" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The cat chases the dog.[(triple1)] The cat chases the mouse.[(triple2)] The cat eats the mouse.[(triple3)] The cat visits the dog.[(triple4)] The dog chases the mouse.[(triple5)] The dog does not eat the mouse.[(triple7)] The dog eats the cat.[(triple6)] The dog is kind.[(triple9)] The dog is nice.[(triple10)] The dog is not blue.[(triple8)] The dog visits the cat.[(triple11)] The mouse chases the cat.[(triple12)] The mouse does not eat the cat.[(triple13)] The mouse is blue.[(triple14)] The mouse is not young.[(triple16)] The mouse is rough.[(triple15)] @1: The dog chases the dog.[(((triple11 triple4) -> rule5))] The mouse visits the cat.[(((triple12) -> rule2))] The mouse visits the mouse.[(((triple15 triple12) -> rule3))] @2: The cat does not eat the dog.[(((triple2 ((triple12) -> rule2)) -> rule1) OR ((triple5 ((triple12) -> rule2)) -> rule1))] The mouse chases the dog.[(((((triple12) -> rule2) triple4) -> rule5))] @3: The mouse visits the dog.[(((((((triple12) -> rule2) triple4) -> rule5)) -> rule7))]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple3
The cat visits the dog.
("cat" "visits" "dog" "+")
triple4
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple5
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
triple7
The dog eats the cat.
("dog" "eats" "cat" "+")
triple6
The dog is kind.
("dog" "is" "kind" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog is not blue.
("dog" "is" "blue" "-")
triple8
The dog visits the cat.
("dog" "visits" "cat" "+")
triple11
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple12
The mouse does not eat the cat.
("mouse" "eats" "cat" "-")
triple13
The mouse is blue.
("mouse" "is" "blue" "+")
triple14
The mouse is not young.
("mouse" "is" "young" "-")
triple16
The mouse is rough.
("mouse" "is" "rough" "+")
triple15
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple11 triple4) -> (rule5 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The mouse visits the cat.
("mouse" "visits" "cat" "+")
((triple12) -> (rule2 % int1))
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int1
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
((triple15 triple12) -> (rule3 % int1))
The mouse visits the mouse.
("mouse" "visits" "mouse" "+")
int1
The cat does not eat the dog.
("cat" "eats" "dog" "-")
((triple2 ((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The cat does not eat the dog.
("cat" "eats" "dog" "-")
int1
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int2
((triple5 ((triple12) -> (rule2 % int2))) -> (rule1 % int1))
The cat does not eat the dog.
("cat" "eats" "dog" "-")
int1
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int2
The mouse chases the dog.
("mouse" "chases" "dog" "+")
((((triple12) -> (rule2 % int2)) triple4) -> (rule5 % int1))
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int1
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int2
The mouse visits the dog.
("mouse" "visits" "dog" "+")
((((((triple12) -> (rule2 % int3)) triple4) -> (rule5 % int2))) -> (rule7 % int1))
The mouse visits the dog.
("mouse" "visits" "dog" "+")
int1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
int2
The mouse visits the cat.
("mouse" "visits" "cat" "+")
int3