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