The cat chases the mouse. The cat eats the mouse. The cat is big. The cat sees the dog. The cat does not see the mouse. The dog is cold. The dog sees the cat. The mouse eats the dog. The mouse is big. The mouse sees the dog. If someone chases the cat and they eat the dog then the dog does not chase the cat. If someone eats the mouse then the mouse chases the cat.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is big.
("cat" "is" "big" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
The dog is cold.
("dog" "is" "cold" "+")
The dog sees the cat.
("dog" "sees" "cat" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone chases the cat and they eat the dog then the dog does not chase the cat.
((("someone" "chases" "cat" "+") ("someone" "eats" "dog" "+")) -> ("dog" "chases" "cat" "-"))
If someone eats the mouse then the mouse chases the cat.
((("someone" "eats" "mouse" "+")) -> ("mouse" "chases" "cat" "+"))
The mouse sees the dog.
True
1
proof
[(triple10)]
("mouse" "sees" "dog" "+")
triple10
The cat is not big.
False
1
inv-proof
[(triple3)]
("cat" "is" "big" "-")
triple3
The mouse chases the cat.
True
2
proof
[(((triple2) -> rule2))]
("mouse" "chases" "cat" "+")
((triple2) -> (rule2 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The mouse does not chase the cat.
False
2
inv-proof
[(((triple2) -> rule2))]
("mouse" "chases" "cat" "-")
((triple2) -> (rule2 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The dog does not chase the cat.
True
4
proof
[(((((triple2) -> rule2) triple8) -> rule1))]
("dog" "chases" "cat" "-")
((((triple2) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The dog does not chase the cat.
("dog" "chases" "cat" "-")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2
The dog chases the cat.
False
4
inv-proof
[(((((triple2) -> rule2) triple8) -> rule1))]
("dog" "chases" "cat" "+")
((((triple2) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The dog does not chase the cat.
("dog" "chases" "cat" "-")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2
The mouse does not see the mouse.
Unknown
inv-random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "-")
The dog eats the dog.
Unknown
random
[@0: The dog eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "dog" "+")
The dog does not eat the mouse.
Unknown
inv-random
[@0: The dog eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "mouse" "-")
The cat eats the dog.
Unknown
random
[@0: The cat eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "dog" "+")
The mouse does not eat the mouse.
Unknown
inv-random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "-")
The mouse is cold.
Unknown
random
[@0: The mouse is cold.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "cold" "+")
@0: The cat chases the mouse.[(triple1)] The cat does not see the mouse.[(triple5)] The cat eats the mouse.[(triple2)] The cat is big.[(triple3)] The cat sees the dog.[(triple4)] The dog is cold.[(triple6)] The dog sees the cat.[(triple7)] The mouse eats the dog.[(triple8)] The mouse is big.[(triple9)] The mouse sees the dog.[(triple10)] @1: The mouse chases the cat.[(((triple2) -> rule2))] @2: The dog does not chase the cat.[(((((triple2) -> rule2) triple8) -> rule1))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat does not see the mouse.
("cat" "sees" "mouse" "-")
triple5
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat sees the dog.
("cat" "sees" "dog" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple6
The dog sees the cat.
("dog" "sees" "cat" "+")
triple7
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple8
The mouse is big.
("mouse" "is" "big" "+")
triple9
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
((triple2) -> (rule2 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The dog does not chase the cat.
("dog" "chases" "cat" "-")
((((triple2) -> (rule2 % int2)) triple8) -> (rule1 % int1))
The dog does not chase the cat.
("dog" "chases" "cat" "-")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2