The dog eats the mouse. The dog is kind. The dog is red. The dog likes the mouse. The dog needs the mouse. The mouse eats the dog. The mouse is big. The mouse is red. The mouse is rough. The mouse is round. The mouse likes the dog. The mouse needs the dog. If something eats the mouse then it is rough. If something needs the mouse then it needs the dog. If the mouse needs the dog then the dog needs the mouse.
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is red.
("dog" "is" "red" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
If something eats the mouse then it is rough.
((("something" "eats" "mouse" "+")) -> ("something" "is" "rough" "+"))
If something needs the mouse then it needs the dog.
((("something" "needs" "mouse" "+")) -> ("something" "needs" "dog" "+"))
If the mouse needs the dog then the dog needs the mouse.
((("mouse" "needs" "dog" "+")) -> ("dog" "needs" "mouse" "+"))
The mouse is round.
True
1
proof
[(triple10)]
("mouse" "is" "round" "+")
triple10
The mouse is not round.
False
1
inv-proof
[(triple10)]
("mouse" "is" "round" "-")
triple10
The dog is rough.
True
2
proof
[(((triple1) -> rule1))]
("dog" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is not rough.
False
2
inv-proof
[(((triple1) -> rule1))]
("dog" "is" "rough" "-")
((triple1) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
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 dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
The mouse does not need the mouse.
Unknown
inv-random
[@0: The mouse needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "needs" "mouse" "-")
The mouse is kind.
Unknown
random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "+")
@0: The dog eats the mouse.[(triple1)] The dog is kind.[(triple2)] The dog is red.[(triple3)] The dog likes the mouse.[(triple4)] The dog needs the mouse.[(triple5 OR ((triple12) -> rule3))] The mouse eats the dog.[(triple6)] The mouse is big.[(triple7)] The mouse is red.[(triple8)] The mouse is rough.[(triple9)] The mouse is round.[(triple10)] The mouse likes the dog.[(triple11)] The mouse needs the dog.[(triple12)] @1: The dog is rough.[(((triple1) -> rule1))] The dog needs the dog.[(((triple5) -> rule2) OR ((((triple12) -> rule3)) -> rule2))]
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple1
The dog is kind.
("dog" "is" "kind" "+")
triple2
The dog is red.
("dog" "is" "red" "+")
triple3
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple4
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple5
((triple12) -> (rule3 % int1))
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int1
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple6
The mouse is big.
("mouse" "is" "big" "+")
triple7
The mouse is red.
("mouse" "is" "red" "+")
triple8
The mouse is rough.
("mouse" "is" "rough" "+")
triple9
The mouse is round.
("mouse" "is" "round" "+")
triple10
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple11
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple12
The dog is rough.
("dog" "is" "rough" "+")
((triple1) -> (rule1 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((triple5) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
((((triple12) -> (rule3 % int2))) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog needs the mouse.
("dog" "needs" "mouse" "+")
int2