The bear is green. The bear likes the mouse. The bear visits the dog. The dog is green. The dog likes the mouse. The mouse is kind. The mouse is nice. The mouse likes the dog. The mouse needs the dog. The mouse visits the bear. If someone is nice then they need the mouse. If the bear likes the dog then the bear visits the mouse. If someone needs the mouse then they need the bear.
The bear is green.
("bear" "is" "green" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear visits the dog.
("bear" "visits" "dog" "+")
The dog is green.
("dog" "is" "green" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse visits the bear.
("mouse" "visits" "bear" "+")
If someone is nice then they need the mouse.
((("someone" "is" "nice" "+")) -> ("someone" "needs" "mouse" "+"))
If the bear likes the dog then the bear visits the mouse.
((("bear" "likes" "dog" "+")) -> ("bear" "visits" "mouse" "+"))
If someone needs the mouse then they need the bear.
((("someone" "needs" "mouse" "+")) -> ("someone" "needs" "bear" "+"))
The bear visits the dog.
True
1
proof
[(triple3)]
("bear" "visits" "dog" "+")
triple3
The bear does not visit the dog.
False
1
inv-proof
[(triple3)]
("bear" "visits" "dog" "-")
triple3
The mouse needs the mouse.
True
2
proof
[(((triple7) -> rule1))]
("mouse" "needs" "mouse" "+")
((triple7) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse does not need the mouse.
False
2
inv-proof
[(((triple7) -> rule1))]
("mouse" "needs" "mouse" "-")
((triple7) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the bear.
True
3
proof
[(((((triple7) -> rule1)) -> rule3))]
("mouse" "needs" "bear" "+")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The mouse does not need the bear.
False
3
inv-proof
[(((((triple7) -> rule1)) -> rule3))]
("mouse" "needs" "bear" "-")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2
The dog does not need the mouse.
Unknown
inv-rconc
[@1: The dog needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "mouse" "-")
The bear needs the mouse.
Unknown
rconc
[@1: The bear needs the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "needs" "mouse" "+")
The dog does not need the bear.
Unknown
inv-rconc
[@2: The dog needs the bear.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("dog" "needs" "bear" "-")
The bear likes the bear.
Unknown
random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The dog needs the dog.
Unknown
random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "+")
@0: The bear is green.[(triple1)] The bear likes the mouse.[(triple2)] The bear visits the dog.[(triple3)] The dog is green.[(triple4)] The dog likes the mouse.[(triple5)] The mouse is kind.[(triple6)] The mouse is nice.[(triple7)] The mouse likes the dog.[(triple8)] The mouse needs the dog.[(triple9)] The mouse visits the bear.[(triple10)] @1: The mouse needs the mouse.[(((triple7) -> rule1))] @2: The mouse needs the bear.[(((((triple7) -> rule1)) -> rule3))]
The bear is green.
("bear" "is" "green" "+")
triple1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple2
The bear visits the dog.
("bear" "visits" "dog" "+")
triple3
The dog is green.
("dog" "is" "green" "+")
triple4
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple8
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple9
The mouse visits the bear.
("mouse" "visits" "bear" "+")
triple10
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
((triple7) -> (rule1 % int1))
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int1
The mouse needs the bear.
("mouse" "needs" "bear" "+")
((((triple7) -> (rule1 % int2))) -> (rule3 % int1))
The mouse needs the bear.
("mouse" "needs" "bear" "+")
int1
The mouse needs the mouse.
("mouse" "needs" "mouse" "+")
int2