The bear is not nice. The cat is green. The cat needs the bear. The dog eats the cat. The dog is cold. The dog is green. The mouse chases the bear. If the dog eats the cat and the dog eats the mouse then the mouse is cold. If someone eats the cat then they eat the mouse. If someone needs the cat then the cat does not eat the mouse.
The bear is not nice.
("bear" "is" "nice" "-")
The cat is green.
("cat" "is" "green" "+")
The cat needs the bear.
("cat" "needs" "bear" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is green.
("dog" "is" "green" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
If the dog eats the cat and the dog eats the mouse then the mouse is cold.
((("dog" "eats" "cat" "+") ("dog" "eats" "mouse" "+")) -> ("mouse" "is" "cold" "+"))
If someone eats the cat then they eat the mouse.
((("someone" "eats" "cat" "+")) -> ("someone" "eats" "mouse" "+"))
If someone needs the cat then the cat does not eat the mouse.
((("someone" "needs" "cat" "+")) -> ("cat" "eats" "mouse" "-"))
The dog is green.
True
1
proof
[(triple6)]
("dog" "is" "green" "+")
triple6
The cat does not need the bear.
False
1
inv-proof
[(triple3)]
("cat" "needs" "bear" "-")
triple3
The dog eats the mouse.
True
2
proof
[(((triple4) -> rule2))]
("dog" "eats" "mouse" "+")
((triple4) -> (rule2 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog does not eat the mouse.
False
2
inv-proof
[(((triple4) -> rule2))]
("dog" "eats" "mouse" "-")
((triple4) -> (rule2 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The mouse is cold.
True
4
proof
[(((triple4 ((triple4) -> rule2)) -> rule1))]
("mouse" "is" "cold" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The mouse is not cold.
False
4
inv-proof
[(((triple4 ((triple4) -> rule2)) -> rule1))]
("mouse" "is" "cold" "-")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The cat eats the mouse.
Unknown
rconc
[@1: The cat eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "eats" "mouse" "+")
The bear does not eat the mouse.
Unknown
inv-rconc
[@1: The bear eats the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bear" "eats" "mouse" "-")
The bear is young.
Unknown
random
[@0: The bear is young.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "young" "+")
The dog does not eat the bear.
Unknown
inv-random
[@0: The dog eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "bear" "-")
The mouse eats the bear.
Unknown
random
[@0: The mouse eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "bear" "+")
@0: The bear is not nice.[(triple1)] The cat is green.[(triple2)] The cat needs the bear.[(triple3)] The dog eats the cat.[(triple4)] The dog is cold.[(triple5)] The dog is green.[(triple6)] The mouse chases the bear.[(triple7)] @1: The dog eats the mouse.[(((triple4) -> rule2))] @2: The mouse is cold.[(((triple4 ((triple4) -> rule2)) -> rule1))]
The bear is not nice.
("bear" "is" "nice" "-")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat needs the bear.
("cat" "needs" "bear" "+")
triple3
The dog eats the cat.
("dog" "eats" "cat" "+")
triple4
The dog is cold.
("dog" "is" "cold" "+")
triple5
The dog is green.
("dog" "is" "green" "+")
triple6
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple7
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((triple4) -> (rule2 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The mouse is cold.
("mouse" "is" "cold" "+")
((triple4 ((triple4) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is cold.
("mouse" "is" "cold" "+")
int1
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int2