The bear does not like the mouse. The cow likes the dog. The dog is not nice. The mouse eats the bear. If something likes the cow then the cow likes the bear. If something is red and it likes the cow then the cow does not chase the dog. If something is big and it does not eat the bear then it does not chase the cow. If something is nice then it is blue. If something is blue and it does not eat the mouse then it does not like the mouse. If something chases the dog and the dog eats the cow then the dog is nice. If something chases the cow then it is green. If the bear does not like the mouse then the bear chases the cow.
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog is not nice.
("dog" "is" "nice" "-")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
If something likes the cow then the cow likes the bear.
((("something" "likes" "cow" "+")) -> ("cow" "likes" "bear" "+"))
If something is red and it likes the cow then the cow does not chase the dog.
((("something" "is" "red" "+") ("something" "likes" "cow" "+")) -> ("cow" "chases" "dog" "-"))
If something is big and it does not eat the bear then it does not chase the cow.
((("something" "is" "big" "+") ("something" "eats" "bear" "~")) -> ("something" "chases" "cow" "-"))
If something is nice then it is blue.
((("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is blue and it does not eat the mouse then it does not like the mouse.
((("something" "is" "blue" "+") ("something" "eats" "mouse" "~")) -> ("something" "likes" "mouse" "-"))
If something chases the dog and the dog eats the cow then the dog is nice.
((("something" "chases" "dog" "+") ("dog" "eats" "cow" "+")) -> ("dog" "is" "nice" "+"))
If something chases the cow then it is green.
((("something" "chases" "cow" "+")) -> ("something" "is" "green" "+"))
If the bear does not like the mouse then the bear chases the cow.
((("bear" "likes" "mouse" "~")) -> ("bear" "chases" "cow" "+"))
The mouse eats the bear.
True
1
proof
[(triple4)]
("mouse" "eats" "bear" "+")
triple4
The cow does not like the dog.
False
1
inv-proof
[(triple2)]
("cow" "likes" "dog" "-")
triple2
The bear chases the cow.
True
2
proof
[(((triple1) -> rule8))]
("bear" "chases" "cow" "+")
((triple1) -> (rule8 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear does not chase the cow.
False
2
inv-proof
[(((triple1) -> rule8))]
("bear" "chases" "cow" "-")
((triple1) -> (rule8 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear is green.
True
3
proof
[(((((triple1) -> rule8)) -> rule7))]
("bear" "is" "green" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the cow.
("bear" "chases" "cow" "+")
int2
The bear is not green.
False
3
inv-proof
[(((((triple1) -> rule8)) -> rule7))]
("bear" "is" "green" "-")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the cow.
("bear" "chases" "cow" "+")
int2
The mouse is not green.
Unknown
inv-rconc
[@1: The mouse is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "is" "green" "-")
The dog is green.
Unknown
rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("dog" "is" "green" "+")
The dog is not blue.
Unknown
inv-rconc
[@1: The dog is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "blue" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
The bear does not chase the dog.
Unknown
inv-random
[@0: The bear chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "dog" "-")
The bear likes the dog.
Unknown
random
[@0: The bear likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "dog" "+")
@0: The bear does not like the mouse.[(triple1)] The cow likes the dog.[(triple2)] The dog is not nice.[(triple3)] The mouse eats the bear.[(triple4)] @1: The bear chases the cow.[(((triple1) -> rule8))] @2: The bear is green.[(((((triple1) -> rule8)) -> rule7))]
The bear does not like the mouse.
("bear" "likes" "mouse" "-")
triple1
The cow likes the dog.
("cow" "likes" "dog" "+")
triple2
The dog is not nice.
("dog" "is" "nice" "-")
triple3
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple4
The bear chases the cow.
("bear" "chases" "cow" "+")
((triple1) -> (rule8 % int1))
The bear chases the cow.
("bear" "chases" "cow" "+")
int1
The bear is green.
("bear" "is" "green" "+")
((((triple1) -> (rule8 % int2))) -> (rule7 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear chases the cow.
("bear" "chases" "cow" "+")
int2