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