The bear does not chase the dog. The bear chases the mouse. The bear is nice. The dog needs the bear. The lion chases the bear. The lion does not chase the dog. The lion is blue. The lion is rough. The lion needs the bear. The lion needs the dog. The lion sees the bear. The mouse sees the lion. If the mouse is rough then the mouse does not need the dog. If something chases the lion then the lion does not chase the dog. If something is rough and it chases the dog then the dog is rough. If the lion needs the mouse and the lion is not nice then the mouse is not cold. If the bear sees the lion then the bear is not rough. If something is nice then it does not see the dog.
The bear does not chase the dog.
("bear" "chases" "dog" "-")
The bear chases the mouse.
("bear" "chases" "mouse" "+")
The bear is nice.
("bear" "is" "nice" "+")
The dog needs the bear.
("dog" "needs" "bear" "+")
The lion chases the bear.
("lion" "chases" "bear" "+")
The lion does not chase the dog.
("lion" "chases" "dog" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the bear.
("lion" "needs" "bear" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion sees the bear.
("lion" "sees" "bear" "+")
The mouse sees the lion.
("mouse" "sees" "lion" "+")
If the mouse is rough then the mouse does not need the dog.
((("mouse" "is" "rough" "+")) -> ("mouse" "needs" "dog" "-"))
If something chases the lion then the lion does not chase the dog.
((("something" "chases" "lion" "+")) -> ("lion" "chases" "dog" "-"))
If something is rough and it chases the dog then the dog is rough.
((("something" "is" "rough" "+") ("something" "chases" "dog" "+")) -> ("dog" "is" "rough" "+"))
If the lion needs the mouse and the lion is not nice then the mouse is not cold.
((("lion" "needs" "mouse" "+") ("lion" "is" "nice" "~")) -> ("mouse" "is" "cold" "-"))
If the bear sees the lion then the bear is not rough.
((("bear" "sees" "lion" "+")) -> ("bear" "is" "rough" "-"))
If something is nice then it does not see the dog.
((("something" "is" "nice" "+")) -> ("something" "sees" "dog" "-"))
The dog needs the bear.
True
1
proof
[(triple4)]
("dog" "needs" "bear" "+")
triple4
The lion is not rough.
False
1
inv-proof
[(triple8)]
("lion" "is" "rough" "-")
triple8
The bear does not see the dog.
True
2
proof
[(((triple3) -> rule6))]
("bear" "sees" "dog" "-")
((triple3) -> (rule6 % int1))
The bear does not see the dog.
("bear" "sees" "dog" "-")
int1
The bear sees the dog.
False
2
inv-proof
[(((triple3) -> rule6))]
("bear" "sees" "dog" "+")
((triple3) -> (rule6 % int1))
The bear does not see the dog.
("bear" "sees" "dog" "-")
int1
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("dog" "is" "rough" "-")
The dog needs the mouse.
Unknown
random
[@0: The dog needs the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "mouse" "+")
The lion does not see the mouse.
Unknown
inv-random
[@0: The lion sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "mouse" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
@0: The bear chases the mouse.[(triple2)] The bear does not chase the dog.[(triple1)] The bear is nice.[(triple3)] The dog needs the bear.[(triple4)] The lion chases the bear.[(triple5)] The lion does not chase the dog.[(triple6)] The lion is blue.[(triple7)] The lion is rough.[(triple8)] The lion needs the bear.[(triple9)] The lion needs the dog.[(triple10)] The lion sees the bear.[(triple11)] The mouse sees the lion.[(triple12)] @1: The bear does not see the dog.[(((triple3) -> rule6))]
The bear chases the mouse.
("bear" "chases" "mouse" "+")
triple2
The bear does not chase the dog.
("bear" "chases" "dog" "-")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple3
The dog needs the bear.
("dog" "needs" "bear" "+")
triple4
The lion chases the bear.
("lion" "chases" "bear" "+")
triple5
The lion does not chase the dog.
("lion" "chases" "dog" "-")
triple6
The lion is blue.
("lion" "is" "blue" "+")
triple7
The lion is rough.
("lion" "is" "rough" "+")
triple8
The lion needs the bear.
("lion" "needs" "bear" "+")
triple9
The lion needs the dog.
("lion" "needs" "dog" "+")
triple10
The lion sees the bear.
("lion" "sees" "bear" "+")
triple11
The mouse sees the lion.
("mouse" "sees" "lion" "+")
triple12
The bear does not see the dog.
("bear" "sees" "dog" "-")
((triple3) -> (rule6 % int1))
The bear does not see the dog.
("bear" "sees" "dog" "-")
int1