The dog does not eat the mouse. The dog is big. The dog is blue. The dog is green. The dog is not nice. The dog is red. The dog needs the mouse. The dog does not see the mouse. The mouse eats the dog. The mouse is big. The mouse is not blue. The mouse is green. The mouse is nice. The mouse is red. The mouse needs the dog. The mouse sees the dog. If someone is green and they eat the dog then they see the dog.
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The dog is red.
("dog" "is" "red" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is not blue.
("mouse" "is" "blue" "-")
The mouse is green.
("mouse" "is" "green" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If someone is green and they eat the dog then they see the dog.
((("someone" "is" "green" "+") ("someone" "eats" "dog" "+")) -> ("someone" "sees" "dog" "+"))
The mouse is big.
True
1
proof
[(triple10)]
("mouse" "is" "big" "+")
triple10
The dog is not green.
False
1
inv-proof
[(triple4)]
("dog" "is" "green" "-")
triple4
The dog does not see the dog.
Unknown
inv-rconc
[@1: The dog sees the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "dog" "-")
The mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The dog does not eat the mouse.[(triple1)] The dog does not see the mouse.[(triple8)] The dog is big.[(triple2)] The dog is blue.[(triple3)] The dog is green.[(triple4)] The dog is not nice.[(triple5)] The dog is red.[(triple6)] The dog needs the mouse.[(triple7)] The mouse eats the dog.[(triple9)] The mouse is big.[(triple10)] The mouse is green.[(triple12)] The mouse is nice.[(triple13)] The mouse is not blue.[(triple11)] The mouse is red.[(triple14)] The mouse needs the dog.[(triple15)] The mouse sees the dog.[(triple16 OR ((triple12 triple9) -> rule1))]
The dog does not eat the mouse.
("dog" "eats" "mouse" "-")
triple1
The dog does not see the mouse.
("dog" "sees" "mouse" "-")
triple8
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog is not nice.
("dog" "is" "nice" "-")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple7
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple9
The mouse is big.
("mouse" "is" "big" "+")
triple10
The mouse is green.
("mouse" "is" "green" "+")
triple12
The mouse is nice.
("mouse" "is" "nice" "+")
triple13
The mouse is not blue.
("mouse" "is" "blue" "-")
triple11
The mouse is red.
("mouse" "is" "red" "+")
triple14
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple15
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple16
((triple12 triple9) -> (rule1 % int1))
The mouse sees the dog.
("mouse" "sees" "dog" "+")
int1