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