The dog chases the mouse. The dog eats the mouse. The dog is big. The dog is not nice. The dog is red. The dog is rough. The dog likes the mouse. The mouse does not chase the dog. The mouse eats the dog. The mouse is not big. The mouse is red. The mouse does not like the dog. If someone eats the dog and the dog likes the mouse then the mouse is nice.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is not big.
("mouse" "is" "big" "-")
The mouse is red.
("mouse" "is" "red" "+")
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
If someone eats the dog and the dog likes the mouse then the mouse is nice.
((("someone" "eats" "dog" "+") ("dog" "likes" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
The dog eats the mouse.
True
1
proof
[(triple2)]
("dog" "eats" "mouse" "+")
triple2
The mouse is not red.
False
1
inv-proof
[(triple11)]
("mouse" "is" "red" "-")
triple11
The mouse is nice.
True
3
proof
[(((triple9 triple7) -> rule1))]
("mouse" "is" "nice" "+")
((triple9 triple7) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not nice.
False
3
inv-proof
[(((triple9 triple7) -> rule1))]
("mouse" "is" "nice" "-")
((triple9 triple7) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "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 green.
Unknown
random
[@0: The mouse is green.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "green" "+")
@0: The dog chases the mouse.[(triple1)] The dog eats the mouse.[(triple2)] The dog is big.[(triple3)] The dog is not nice.[(triple4)] The dog is red.[(triple5)] The dog is rough.[(triple6)] The dog likes the mouse.[(triple7)] The mouse does not chase the dog.[(triple8)] The mouse does not like the dog.[(triple12)] The mouse eats the dog.[(triple9)] The mouse is not big.[(triple10)] The mouse is red.[(triple11)] @1: The mouse is nice.[(((triple9 triple7) -> rule1))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is not nice.
("dog" "is" "nice" "-")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple7
The mouse does not chase the dog.
("mouse" "chases" "dog" "-")
triple8
The mouse does not like the dog.
("mouse" "likes" "dog" "-")
triple12
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple9
The mouse is not big.
("mouse" "is" "big" "-")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The mouse is nice.
("mouse" "is" "nice" "+")
((triple9 triple7) -> (rule1 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1