The bear does not chase the dog. The bear chases the mouse. The bear eats the dog. The bear is nice. The bear is young. The bear visits the dog. The bear does not visit the mouse. The dog chases the mouse. The dog eats the bear. The dog is kind. The mouse chases the dog. The mouse eats the dog. The mouse is kind. The mouse is nice. The mouse does not visit the bear. If someone visits the dog and they eat the dog then they are nice. If someone visits the dog then the dog is nice. If someone is red and they do not eat the dog then they visit the mouse. If someone eats the dog and they do not visit the dog then the dog is red. If someone visits the mouse then they chase the mouse. If someone is nice and red then they do not chase the mouse.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is young.
("bear" "is" "young" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog is kind.
("dog" "is" "kind" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
If someone visits the dog and they eat the dog then they are nice.
((("someone" "visits" "dog" "+") ("someone" "eats" "dog" "+")) -> ("someone" "is" "nice" "+"))
If someone visits the dog then the dog is nice.
((("someone" "visits" "dog" "+")) -> ("dog" "is" "nice" "+"))
If someone is red and they do not eat the dog then they visit the mouse.
((("someone" "is" "red" "+") ("someone" "eats" "dog" "~")) -> ("someone" "visits" "mouse" "+"))
If someone eats the dog and they do not visit the dog then the dog is red.
((("someone" "eats" "dog" "+") ("someone" "visits" "dog" "~")) -> ("dog" "is" "red" "+"))
If someone visits the mouse then they chase the mouse.
((("someone" "visits" "mouse" "+")) -> ("someone" "chases" "mouse" "+"))
If someone is nice and red then they do not chase the mouse.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "chases" "mouse" "-"))
The mouse is kind.
True
1
proof
[(triple13)]
("mouse" "is" "kind" "+")
triple13
The mouse is not kind.
False
1
inv-proof
[(triple13)]
("mouse" "is" "kind" "-")
triple13
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The dog is big.
Unknown
random
[@0: The dog is big.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "big" "+")
@0: The bear chases the mouse.[(triple2)] The bear does not chase the dog.[(triple1)] The bear does not visit the mouse.[(triple7)] The bear eats the dog.[(triple3)] The bear is nice.[(triple4 OR ((triple6 triple3) -> rule1))] The bear is young.[(triple5)] The bear visits the dog.[(triple6)] The dog chases the mouse.[(triple8)] The dog eats the bear.[(triple9)] The dog is kind.[(triple10)] The mouse chases the dog.[(triple11)] The mouse does not visit the bear.[(triple15)] The mouse eats the dog.[(triple12)] The mouse is kind.[(triple13)] The mouse is nice.[(triple14)] @1: The dog is nice.[(((triple6) -> rule2))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
The bear does not visit the mouse.
("bear" "visits" "mouse" "-")
triple7
The bear eats the dog.
("bear" "eats" "dog" "+")
triple3
The bear is nice.
("bear" "is" "nice" "+")
triple4
((triple6 triple3) -> (rule1 % int1))
The bear is nice.
("bear" "is" "nice" "+")
int1
The bear is young.
("bear" "is" "young" "+")
triple5
The bear visits the dog.
("bear" "visits" "dog" "+")
triple6
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple8
The dog eats the bear.
("dog" "eats" "bear" "+")
triple9
The dog is kind.
("dog" "is" "kind" "+")
triple10
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple11
The mouse does not visit the bear.
("mouse" "visits" "bear" "-")
triple15
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple12
The mouse is kind.
("mouse" "is" "kind" "+")
triple13
The mouse is nice.
("mouse" "is" "nice" "+")
triple14
The dog is nice.
("dog" "is" "nice" "+")
((triple6) -> (rule2 % int1))
The dog is nice.
("dog" "is" "nice" "+")
int1