The dog does not chase the rabbit. The dog chases the tiger. The dog does not eat the rabbit. The dog is not young. The dog needs the tiger. The mouse is rough. The mouse needs the dog. The mouse needs the tiger. The rabbit eats the mouse. The tiger does not chase the rabbit. The tiger needs the dog. The tiger needs the rabbit. If someone chases the mouse then the mouse is blue. If someone eats the rabbit then they chase the mouse. If someone chases the dog and the dog needs the rabbit then they are round. If the dog chases the tiger and the tiger is blue then the dog does not need the tiger. If someone chases the tiger then the tiger eats the rabbit. If someone chases the dog and the dog needs the rabbit then the dog eats the mouse. If someone eats the dog and they do not eat the mouse then they do not need the mouse. If someone eats the tiger and they do not need the mouse then they need the tiger.
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
The dog chases the tiger.
("dog" "chases" "tiger" "+")
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
The dog is not young.
("dog" "is" "young" "-")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse needs the dog.
("mouse" "needs" "dog" "+")
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
If someone chases the mouse then the mouse is blue.
((("someone" "chases" "mouse" "+")) -> ("mouse" "is" "blue" "+"))
If someone eats the rabbit then they chase the mouse.
((("someone" "eats" "rabbit" "+")) -> ("someone" "chases" "mouse" "+"))
If someone chases the dog and the dog needs the rabbit then they are round.
((("someone" "chases" "dog" "+") ("dog" "needs" "rabbit" "+")) -> ("someone" "is" "round" "+"))
If the dog chases the tiger and the tiger is blue then the dog does not need the tiger.
((("dog" "chases" "tiger" "+") ("tiger" "is" "blue" "+")) -> ("dog" "needs" "tiger" "-"))
If someone chases the tiger then the tiger eats the rabbit.
((("someone" "chases" "tiger" "+")) -> ("tiger" "eats" "rabbit" "+"))
If someone chases the dog and the dog needs the rabbit then the dog eats the mouse.
((("someone" "chases" "dog" "+") ("dog" "needs" "rabbit" "+")) -> ("dog" "eats" "mouse" "+"))
If someone eats the dog and they do not eat the mouse then they do not need the mouse.
((("someone" "eats" "dog" "+") ("someone" "eats" "mouse" "~")) -> ("someone" "needs" "mouse" "-"))
If someone eats the tiger and they do not need the mouse then they need the tiger.
((("someone" "eats" "tiger" "+") ("someone" "needs" "mouse" "~")) -> ("someone" "needs" "tiger" "+"))
The mouse needs the tiger.
True
1
proof
[(triple8)]
("mouse" "needs" "tiger" "+")
triple8
The tiger does not need the rabbit.
False
1
inv-proof
[(triple12)]
("tiger" "needs" "rabbit" "-")
triple12
The tiger eats the rabbit.
True
2
proof
[(((triple2) -> rule5))]
("tiger" "eats" "rabbit" "+")
((triple2) -> (rule5 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger does not eat the rabbit.
False
2
inv-proof
[(((triple2) -> rule5))]
("tiger" "eats" "rabbit" "-")
((triple2) -> (rule5 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger chases the mouse.
True
3
proof
[(((((triple2) -> rule5)) -> rule2))]
("tiger" "chases" "mouse" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The tiger does not chase the mouse.
False
3
inv-proof
[(((((triple2) -> rule5)) -> rule2))]
("tiger" "chases" "mouse" "-")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The mouse is blue.
True
4
proof
[(((((((triple2) -> rule5)) -> rule2)) -> rule1))]
("mouse" "is" "blue" "+")
((((((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int3
The mouse is not blue.
False
4
inv-proof
[(((((((triple2) -> rule5)) -> rule2)) -> rule1))]
("mouse" "is" "blue" "-")
((((((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int3
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The dog chases the mouse.
Unknown
rconc
[@1: The dog chases the mouse.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "chases" "mouse" "+")
The mouse is not round.
Unknown
inv-rconc
[@1: The mouse is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "is" "round" "-")
The rabbit needs the tiger.
Unknown
rconc
[@1: The rabbit needs the tiger.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("rabbit" "needs" "tiger" "+")
The rabbit does not chase the rabbit.
Unknown
inv-random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
The tiger does not eat the dog.
Unknown
inv-random
[@0: The tiger eats the dog.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "dog" "-")
The tiger is blue.
Unknown
random
[@0: The tiger is blue.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "blue" "+")
@0: The dog chases the tiger.[(triple2)] The dog does not chase the rabbit.[(triple1)] The dog does not eat the rabbit.[(triple3)] The dog is not young.[(triple4)] The dog needs the tiger.[(triple5)] The mouse is rough.[(triple6)] The mouse needs the dog.[(triple7)] The mouse needs the tiger.[(triple8)] The rabbit eats the mouse.[(triple9)] The tiger does not chase the rabbit.[(triple10)] The tiger needs the dog.[(triple11)] The tiger needs the rabbit.[(triple12)] @1: The tiger eats the rabbit.[(((triple2) -> rule5))] @2: The tiger chases the mouse.[(((((triple2) -> rule5)) -> rule2))] @3: The mouse is blue.[(((((((triple2) -> rule5)) -> rule2)) -> rule1))]
The dog chases the tiger.
("dog" "chases" "tiger" "+")
triple2
The dog does not chase the rabbit.
("dog" "chases" "rabbit" "-")
triple1
The dog does not eat the rabbit.
("dog" "eats" "rabbit" "-")
triple3
The dog is not young.
("dog" "is" "young" "-")
triple4
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple5
The mouse is rough.
("mouse" "is" "rough" "+")
triple6
The mouse needs the dog.
("mouse" "needs" "dog" "+")
triple7
The mouse needs the tiger.
("mouse" "needs" "tiger" "+")
triple8
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple9
The tiger does not chase the rabbit.
("tiger" "chases" "rabbit" "-")
triple10
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple11
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple12
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
((triple2) -> (rule5 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
((((triple2) -> (rule5 % int2))) -> (rule2 % int1))
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The mouse is blue.
("mouse" "is" "blue" "+")
((((((triple2) -> (rule5 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The mouse is blue.
("mouse" "is" "blue" "+")
int1
The tiger chases the mouse.
("tiger" "chases" "mouse" "+")
int2
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int3