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