The bear eats the dog. The bear eats the mouse. The bear needs the dog. The bear needs the mouse. The bear sees the mouse. The dog eats the bear. The dog eats the mouse. The dog is big. The dog needs the mouse. The mouse eats the bear. The mouse is red. The mouse needs the bear. The mouse needs the dog. The mouse sees the bear. The mouse sees the dog. If the dog sees the mouse and the dog eats the bear then the dog is nice. If someone is kind and they see the mouse then the mouse eats the dog. If someone needs the dog and the dog sees the bear then the dog is big. If someone is rough and they need the dog then the dog sees the mouse. If someone is rough and they need the mouse then they see the bear. If someone needs the dog and they see the mouse then the dog is rough.
The bear eats the dog.
("bear" "eats" "dog" "+")
The bear eats the mouse.
("bear" "eats" "mouse" "+")
The bear needs the dog.
("bear" "needs" "dog" "+")
The bear needs the mouse.
("bear" "needs" "mouse" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The dog eats the bear.
("dog" "eats" "bear" "+")
The dog eats the mouse.
("dog" "eats" "mouse" "+")
The dog is big.
("dog" "is" "big" "+")
The dog needs the mouse.
("dog" "needs" "mouse" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse needs the bear.
("mouse" "needs" "bear" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The mouse sees the dog.
("mouse" "sees" "dog" "+")
If the dog sees the mouse and the dog eats the bear then the dog is nice.
((("dog" "sees" "mouse" "+") ("dog" "eats" "bear" "+")) -> ("dog" "is" "nice" "+"))
If someone is kind and they see the mouse then the mouse eats the dog.
((("someone" "is" "kind" "+") ("someone" "sees" "mouse" "+")) -> ("mouse" "eats" "dog" "+"))
If someone needs the dog and the dog sees the bear then the dog is big.
((("someone" "needs" "dog" "+") ("dog" "sees" "bear" "+")) -> ("dog" "is" "big" "+"))
If someone is rough and they need the dog then the dog sees the mouse.
((("someone" "is" "rough" "+") ("someone" "needs" "dog" "+")) -> ("dog" "sees" "mouse" "+"))
If someone is rough and they need the mouse then they see the bear.
((("someone" "is" "rough" "+") ("someone" "needs" "mouse" "+")) -> ("someone" "sees" "bear" "+"))
If someone needs the dog and they see the mouse then the dog is rough.
((("someone" "needs" "dog" "+") ("someone" "sees" "mouse" "+")) -> ("dog" "is" "rough" "+"))
The dog eats the bear.
True
1
proof
[(triple6)]
("dog" "eats" "bear" "+")
triple6
The mouse does not eat the bear.
False
1
inv-proof
[(triple10)]
("mouse" "eats" "bear" "-")
triple10
The dog is rough.
True
3
proof
[(((triple3 triple5) -> rule6))]
("dog" "is" "rough" "+")
((triple3 triple5) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog is not rough.
False
3
inv-proof
[(((triple3 triple5) -> rule6))]
("dog" "is" "rough" "-")
((triple3 triple5) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog sees the bear.
True
5
proof
[(((((triple3 triple5) -> rule6) triple9) -> rule5))]
("dog" "sees" "bear" "+")
((((triple3 triple5) -> (rule6 % int2)) triple9) -> (rule5 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog does not see the bear.
False
5
inv-proof
[(((((triple3 triple5) -> rule6) triple9) -> rule5))]
("dog" "sees" "bear" "-")
((((triple3 triple5) -> (rule6 % int2)) triple9) -> (rule5 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2
The dog is not nice.
Unknown
inv-rconc
[@2: The dog is nice.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("dog" "is" "nice" "-")
The mouse eats the dog.
Unknown
rconc
[@1: The mouse eats the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "dog" "+")
The dog does not see the mouse.
Unknown
inv-rconc
[@1: The dog sees the mouse.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "sees" "mouse" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
The bear is not red.
Unknown
inv-random
[@0: The bear is red.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "red" "-")
The bear is big.
Unknown
random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "+")
@0: The bear eats the dog.[(triple1)] The bear eats the mouse.[(triple2)] The bear needs the dog.[(triple3)] The bear needs the mouse.[(triple4)] The bear sees the mouse.[(triple5)] The dog eats the bear.[(triple6)] The dog eats the mouse.[(triple7)] The dog is big.[(triple8 OR ((triple13 ((((triple3 triple5) -> rule6) triple9) -> rule5)) -> rule3) OR ((triple3 ((((triple3 triple5) -> rule6) triple9) -> rule5)) -> rule3))] The dog needs the mouse.[(triple9)] The mouse eats the bear.[(triple10)] The mouse is red.[(triple11)] The mouse needs the bear.[(triple12)] The mouse needs the dog.[(triple13)] The mouse sees the bear.[(triple14)] The mouse sees the dog.[(triple15)] @1: The dog is rough.[(((triple3 triple5) -> rule6))] @2: The dog sees the bear.[(((((triple3 triple5) -> rule6) triple9) -> rule5))]
The bear eats the dog.
("bear" "eats" "dog" "+")
triple1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
triple2
The bear needs the dog.
("bear" "needs" "dog" "+")
triple3
The bear needs the mouse.
("bear" "needs" "mouse" "+")
triple4
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple5
The dog eats the bear.
("dog" "eats" "bear" "+")
triple6
The dog eats the mouse.
("dog" "eats" "mouse" "+")
triple7
The dog is big.
("dog" "is" "big" "+")
triple8
((triple13 ((((triple3 triple5) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
((triple3 ((((triple3 triple5) -> (rule6 % int3)) triple9) -> (rule5 % int2))) -> (rule3 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
int3
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple9
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple10
The mouse is red.
("mouse" "is" "red" "+")
triple11
The mouse needs the bear.
("mouse" "needs" "bear" "+")
triple12
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple13
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple14
The mouse sees the dog.
("mouse" "sees" "dog" "+")
triple15
The dog is rough.
("dog" "is" "rough" "+")
((triple3 triple5) -> (rule6 % int1))
The dog is rough.
("dog" "is" "rough" "+")
int1
The dog sees the bear.
("dog" "sees" "bear" "+")
((((triple3 triple5) -> (rule6 % int2)) triple9) -> (rule5 % int1))
The dog sees the bear.
("dog" "sees" "bear" "+")
int1
The dog is rough.
("dog" "is" "rough" "+")
int2