The cow eats the dog. The cow is big. The cow is not nice. The cow is round. The dog does not eat the cow. The dog is red. The dog is round. The dog likes the mouse. The dog does not see the tiger. The mouse eats the tiger. The mouse likes the cow. The mouse likes the tiger. The mouse sees the cow. The tiger eats the dog. The tiger is big. The tiger sees the cow. If someone eats the mouse and they like the cow then the mouse is big. If someone is red and they eat the tiger then they eat the mouse. If someone sees the tiger then they are red. If someone eats the tiger then the tiger sees the mouse. If someone eats the cow and they are kind then the cow sees the tiger. If someone eats the tiger and they do not see the dog then the tiger sees the cow.
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is big.
("cow" "is" "big" "+")
The cow is not nice.
("cow" "is" "nice" "-")
The cow is round.
("cow" "is" "round" "+")
The dog does not eat the cow.
("dog" "eats" "cow" "-")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The tiger eats the dog.
("tiger" "eats" "dog" "+")
The tiger is big.
("tiger" "is" "big" "+")
The tiger sees the cow.
("tiger" "sees" "cow" "+")
If someone eats the mouse and they like the cow then the mouse is big.
((("someone" "eats" "mouse" "+") ("someone" "likes" "cow" "+")) -> ("mouse" "is" "big" "+"))
If someone is red and they eat the tiger then they eat the mouse.
((("someone" "is" "red" "+") ("someone" "eats" "tiger" "+")) -> ("someone" "eats" "mouse" "+"))
If someone sees the tiger then they are red.
((("someone" "sees" "tiger" "+")) -> ("someone" "is" "red" "+"))
If someone eats the tiger then the tiger sees the mouse.
((("someone" "eats" "tiger" "+")) -> ("tiger" "sees" "mouse" "+"))
If someone eats the cow and they are kind then the cow sees the tiger.
((("someone" "eats" "cow" "+") ("someone" "is" "kind" "+")) -> ("cow" "sees" "tiger" "+"))
If someone eats the tiger and they do not see the dog then the tiger sees the cow.
((("someone" "eats" "tiger" "+") ("someone" "sees" "dog" "~")) -> ("tiger" "sees" "cow" "+"))
The tiger is big.
True
1
proof
[(triple15)]
("tiger" "is" "big" "+")
triple15
The cow is not round.
False
1
inv-proof
[(triple4)]
("cow" "is" "round" "-")
triple4
The tiger sees the mouse.
True
2
proof
[(((triple10) -> rule4))]
("tiger" "sees" "mouse" "+")
((triple10) -> (rule4 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The tiger does not see the mouse.
False
2
inv-proof
[(((triple10) -> rule4))]
("tiger" "sees" "mouse" "-")
((triple10) -> (rule4 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1
The mouse is not red.
Unknown
inv-rconc
[@1: The mouse is red.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "red" "-")
The mouse eats the mouse.
Unknown
rconc
[@2: The mouse eats the mouse.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("mouse" "eats" "mouse" "+")
The cow does not eat the tiger.
Unknown
inv-random
[@0: The cow eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "tiger" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The cow eats the dog.[(triple1)] The cow is big.[(triple2)] The cow is not nice.[(triple3)] The cow is round.[(triple4)] The dog does not eat the cow.[(triple5)] The dog does not see the tiger.[(triple9)] The dog is red.[(triple6)] The dog is round.[(triple7)] The dog likes the mouse.[(triple8)] The mouse eats the tiger.[(triple10)] The mouse likes the cow.[(triple11)] The mouse likes the tiger.[(triple12)] The mouse sees the cow.[(triple13)] The tiger eats the dog.[(triple14)] The tiger is big.[(triple15)] The tiger sees the cow.[(triple16)] @1: The tiger sees the mouse.[(((triple10) -> rule4))]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The cow is big.
("cow" "is" "big" "+")
triple2
The cow is not nice.
("cow" "is" "nice" "-")
triple3
The cow is round.
("cow" "is" "round" "+")
triple4
The dog does not eat the cow.
("dog" "eats" "cow" "-")
triple5
The dog does not see the tiger.
("dog" "sees" "tiger" "-")
triple9
The dog is red.
("dog" "is" "red" "+")
triple6
The dog is round.
("dog" "is" "round" "+")
triple7
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple8
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple10
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple11
The mouse likes the tiger.
("mouse" "likes" "tiger" "+")
triple12
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple13
The tiger eats the dog.
("tiger" "eats" "dog" "+")
triple14
The tiger is big.
("tiger" "is" "big" "+")
triple15
The tiger sees the cow.
("tiger" "sees" "cow" "+")
triple16
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
((triple10) -> (rule4 % int1))
The tiger sees the mouse.
("tiger" "sees" "mouse" "+")
int1