The dog is young. The mouse is round. The rabbit likes the mouse. The tiger eats the rabbit. If something eats the dog and the dog is kind then the dog is young. If something is young and it chases the rabbit then it is green. If something eats the rabbit then the rabbit eats the dog. If the tiger chases the dog and the dog likes the mouse then the dog chases the tiger. If something likes the mouse and it eats the dog then it chases the mouse. If something eats the dog and it is round then the dog is young. If something eats the mouse and the mouse is green then the mouse is red. If something chases the rabbit and the rabbit chases the dog then the rabbit chases the mouse.
The dog is young.
("dog" "is" "young" "+")
The mouse is round.
("mouse" "is" "round" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
If something eats the dog and the dog is kind then the dog is young.
((("something" "eats" "dog" "+") ("dog" "is" "kind" "+")) -> ("dog" "is" "young" "+"))
If something is young and it chases the rabbit then it is green.
((("something" "is" "young" "+") ("something" "chases" "rabbit" "+")) -> ("something" "is" "green" "+"))
If something eats the rabbit then the rabbit eats the dog.
((("something" "eats" "rabbit" "+")) -> ("rabbit" "eats" "dog" "+"))
If the tiger chases the dog and the dog likes the mouse then the dog chases the tiger.
((("tiger" "chases" "dog" "+") ("dog" "likes" "mouse" "+")) -> ("dog" "chases" "tiger" "+"))
If something likes the mouse and it eats the dog then it chases the mouse.
((("something" "likes" "mouse" "+") ("something" "eats" "dog" "+")) -> ("something" "chases" "mouse" "+"))
If something eats the dog and it is round then the dog is young.
((("something" "eats" "dog" "+") ("something" "is" "round" "+")) -> ("dog" "is" "young" "+"))
If something eats the mouse and the mouse is green then the mouse is red.
((("something" "eats" "mouse" "+") ("mouse" "is" "green" "+")) -> ("mouse" "is" "red" "+"))
If something chases the rabbit and the rabbit chases the dog then the rabbit chases the mouse.
((("something" "chases" "rabbit" "+") ("rabbit" "chases" "dog" "+")) -> ("rabbit" "chases" "mouse" "+"))
The mouse is round.
True
1
proof
[(triple2)]
("mouse" "is" "round" "+")
triple2
The tiger does not eat the rabbit.
False
1
inv-proof
[(triple4)]
("tiger" "eats" "rabbit" "-")
triple4
The rabbit eats the dog.
True
2
proof
[(((triple4) -> rule3))]
("rabbit" "eats" "dog" "+")
((triple4) -> (rule3 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit does not eat the dog.
False
2
inv-proof
[(((triple4) -> rule3))]
("rabbit" "eats" "dog" "-")
((triple4) -> (rule3 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit chases the mouse.
True
4
proof
[(((triple3 ((triple4) -> rule3)) -> rule5))]
("rabbit" "chases" "mouse" "+")
((triple3 ((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2
The rabbit does not chase the mouse.
False
4
inv-proof
[(((triple3 ((triple4) -> rule3)) -> rule5))]
("rabbit" "chases" "mouse" "-")
((triple3 ((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2
The dog is not green.
Unknown
inv-rconc
[@1: The dog is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "green" "-")
The tiger chases the mouse.
Unknown
rconc
[@1: The tiger chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("tiger" "chases" "mouse" "+")
The mouse does not chase the mouse.
Unknown
inv-rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The mouse likes the rabbit.
Unknown
random
[@0: The mouse likes the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "rabbit" "+")
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 mouse eats the mouse.
Unknown
random
[@0: The mouse eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "eats" "mouse" "+")
@0: The dog is young.[(triple1)] The mouse is round.[(triple2)] The rabbit likes the mouse.[(triple3)] The tiger eats the rabbit.[(triple4)] @1: The rabbit eats the dog.[(((triple4) -> rule3))] @2: The rabbit chases the mouse.[(((triple3 ((triple4) -> rule3)) -> rule5))]
The dog is young.
("dog" "is" "young" "+")
triple1
The mouse is round.
("mouse" "is" "round" "+")
triple2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple3
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple4
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
((triple4) -> (rule3 % int1))
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int1
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
((triple3 ((triple4) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit chases the mouse.
("rabbit" "chases" "mouse" "+")
int1
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
int2