The cow likes the dog. The dog does not eat the cow. The dog is blue. The dog is cold. The dog does not like the mouse. The mouse is nice. The mouse likes the cow. The tiger eats the dog. The tiger is green. The tiger sees the dog. If someone sees the tiger then the tiger sees the cow. If someone is green then they like the dog.
The cow likes the dog.
("cow" "likes" "dog" "+")
The dog does not eat the cow.
("dog" "eats" "cow" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If someone sees the tiger then the tiger sees the cow.
((("someone" "sees" "tiger" "+")) -> ("tiger" "sees" "cow" "+"))
If someone is green then they like the dog.
((("someone" "is" "green" "+")) -> ("someone" "likes" "dog" "+"))
The cow likes the dog.
True
1
proof
[(triple1)]
("cow" "likes" "dog" "+")
triple1
The cow does not like the dog.
False
1
inv-proof
[(triple1)]
("cow" "likes" "dog" "-")
triple1
The tiger likes the dog.
True
2
proof
[(((triple9) -> rule2))]
("tiger" "likes" "dog" "+")
((triple9) -> (rule2 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The tiger does not like the dog.
False
2
inv-proof
[(((triple9) -> rule2))]
("tiger" "likes" "dog" "-")
((triple9) -> (rule2 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "likes" "dog" "-")
The tiger sees the cow.
Unknown
rconc
[@1: The tiger sees the cow.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "sees" "cow" "+")
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow eats the mouse.
Unknown
random
[@0: The cow eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "mouse" "+")
@0: The cow likes the dog.[(triple1)] The dog does not eat the cow.[(triple2)] The dog does not like the mouse.[(triple5)] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The mouse is nice.[(triple6)] The mouse likes the cow.[(triple7)] The tiger eats the dog.[(triple8)] The tiger is green.[(triple9)] The tiger sees the dog.[(triple10)] @1: The tiger likes the dog.[(((triple9) -> rule2))]
The cow likes the dog.
("cow" "likes" "dog" "+")
triple1
The dog does not eat the cow.
("dog" "eats" "cow" "-")
triple2
The dog does not like the mouse.
("dog" "likes" "mouse" "-")
triple5
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple7
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple8
The tiger is green.
("tiger" "is" "green" "+")
triple9
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple10
The tiger likes the dog.
("tiger" "likes" "dog" "+")
((triple9) -> (rule2 % int1))
The tiger likes the dog.
("tiger" "likes" "dog" "+")
int1