The cat eats the dog. The cat does not like the mouse. The cat sees the dog. The dog eats the cat. The dog is not nice. The dog is round. The dog is not young. The mouse eats the cat. The mouse does not eat the dog. The mouse sees the cat. If the mouse sees the cat then the cat eats the mouse.
The cat eats the dog.
("cat" "eats" "dog" "+")
The cat does not like the mouse.
("cat" "likes" "mouse" "-")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog is round.
("dog" "is" "round" "+")
The dog is not young.
("dog" "is" "young" "-")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
If the mouse sees the cat then the cat eats the mouse.
((("mouse" "sees" "cat" "+")) -> ("cat" "eats" "mouse" "+"))
The dog is not young.
True
1
proof
[(triple7)]
("dog" "is" "young" "-")
triple7
The mouse does not eat the cat.
False
1
inv-proof
[(triple8)]
("mouse" "eats" "cat" "-")
triple8
The cat eats the mouse.
True
2
proof
[(((triple10) -> rule1))]
("cat" "eats" "mouse" "+")
((triple10) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The cat does not eat the mouse.
False
2
inv-proof
[(((triple10) -> rule1))]
("cat" "eats" "mouse" "-")
((triple10) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1
The dog does not see the dog.
Unknown
inv-random
[@0: The dog sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "sees" "dog" "-")
The mouse sees the dog.
Unknown
random
[@0: The mouse sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "dog" "+")
The cat is not kind.
Unknown
inv-random
[@0: The cat is kind.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "kind" "-")
The mouse likes the mouse.
Unknown
random
[@0: The mouse likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "mouse" "+")
@0: The cat does not like the mouse.[(triple2)] The cat eats the dog.[(triple1)] The cat sees the dog.[(triple3)] The dog eats the cat.[(triple4)] The dog is not nice.[(triple5)] The dog is not young.[(triple7)] The dog is round.[(triple6)] The mouse does not eat the dog.[(triple9)] The mouse eats the cat.[(triple8)] The mouse sees the cat.[(triple10)] @1: The cat eats the mouse.[(((triple10) -> rule1))]
The cat does not like the mouse.
("cat" "likes" "mouse" "-")
triple2
The cat eats the dog.
("cat" "eats" "dog" "+")
triple1
The cat sees the dog.
("cat" "sees" "dog" "+")
triple3
The dog eats the cat.
("dog" "eats" "cat" "+")
triple4
The dog is not nice.
("dog" "is" "nice" "-")
triple5
The dog is not young.
("dog" "is" "young" "-")
triple7
The dog is round.
("dog" "is" "round" "+")
triple6
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple9
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple8
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple10
The cat eats the mouse.
("cat" "eats" "mouse" "+")
((triple10) -> (rule1 % int1))
The cat eats the mouse.
("cat" "eats" "mouse" "+")
int1