The dog chases the rabbit. The mouse chases the dog. The mouse eats the rabbit. The mouse is kind. The mouse is red. The mouse is young. The mouse likes the dog. The mouse likes the rabbit. The rabbit eats the mouse. The rabbit is kind. The rabbit likes the dog. The rabbit likes the mouse. If someone chases the rabbit and the rabbit chases the dog then the rabbit likes the mouse. If someone likes the mouse and they are green then the mouse is red. If someone is young then they eat the mouse. If someone is green then they are young. If someone chases the dog and the dog is kind then they chase the mouse. If someone chases the rabbit then they chase the dog. If someone eats the rabbit and they eat the dog then the dog is young. If the mouse chases the dog then the dog is green.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse is red.
("mouse" "is" "red" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
If someone chases the rabbit and the rabbit chases the dog then the rabbit likes the mouse.
((("someone" "chases" "rabbit" "+") ("rabbit" "chases" "dog" "+")) -> ("rabbit" "likes" "mouse" "+"))
If someone likes the mouse and they are green then the mouse is red.
((("someone" "likes" "mouse" "+") ("someone" "is" "green" "+")) -> ("mouse" "is" "red" "+"))
If someone is young then they eat the mouse.
((("someone" "is" "young" "+")) -> ("someone" "eats" "mouse" "+"))
If someone is green then they are young.
((("someone" "is" "green" "+")) -> ("someone" "is" "young" "+"))
If someone chases the dog and the dog is kind then they chase the mouse.
((("someone" "chases" "dog" "+") ("dog" "is" "kind" "+")) -> ("someone" "chases" "mouse" "+"))
If someone chases the rabbit then they chase the dog.
((("someone" "chases" "rabbit" "+")) -> ("someone" "chases" "dog" "+"))
If someone eats the rabbit and they eat the dog then the dog is young.
((("someone" "eats" "rabbit" "+") ("someone" "eats" "dog" "+")) -> ("dog" "is" "young" "+"))
If the mouse chases the dog then the dog is green.
((("mouse" "chases" "dog" "+")) -> ("dog" "is" "green" "+"))
The rabbit likes the mouse.
True
1
proof
[(triple12)]
("rabbit" "likes" "mouse" "+")
triple12
The rabbit does not eat the mouse.
False
1
inv-proof
[(triple9)]
("rabbit" "eats" "mouse" "-")
triple9
The dog chases the dog.
True
2
proof
[(((triple1) -> rule6))]
("dog" "chases" "dog" "+")
((triple1) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The mouse does not eat the mouse.
False
2
inv-proof
[(((triple6) -> rule3))]
("mouse" "eats" "mouse" "-")
((triple6) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The dog is young.
True
3
proof
[(((((triple2) -> rule8)) -> rule4))]
("dog" "is" "young" "+")
((((triple2) -> (rule8 % int2))) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog is not young.
False
3
inv-proof
[(((((triple2) -> rule8)) -> rule4))]
("dog" "is" "young" "-")
((((triple2) -> (rule8 % int2))) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The rabbit does not chase the mouse.
Unknown
inv-rconc
[@1: The rabbit chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("rabbit" "chases" "mouse" "-")
The dog chases the mouse.
Unknown
rconc
[@1: The dog chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "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 rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The dog chases the rabbit.[(triple1)] The mouse chases the dog.[(triple2)] The mouse eats the rabbit.[(triple3)] The mouse is kind.[(triple4)] The mouse is red.[(triple5)] The mouse is young.[(triple6)] The mouse likes the dog.[(triple7)] The mouse likes the rabbit.[(triple8)] The rabbit eats the mouse.[(triple9)] The rabbit is kind.[(triple10)] The rabbit likes the dog.[(triple11)] The rabbit likes the mouse.[(triple12)] @1: The dog chases the dog.[(((triple1) -> rule6))] The dog is green.[(((triple2) -> rule8))] The mouse eats the mouse.[(((triple6) -> rule3))] @2: The dog is young.[(((((triple2) -> rule8)) -> rule4))] @3: The dog eats the mouse.[(((((((triple2) -> rule8)) -> rule4)) -> rule3))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple2
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
triple3
The mouse is kind.
("mouse" "is" "kind" "+")
triple4
The mouse is red.
("mouse" "is" "red" "+")
triple5
The mouse is young.
("mouse" "is" "young" "+")
triple6
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple7
The mouse likes the rabbit.
("mouse" "likes" "rabbit" "+")
triple8
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple9
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple11
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple12
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple1) -> (rule6 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The dog is green.
("dog" "is" "green" "+")
((triple2) -> (rule8 % int1))
The dog is green.
("dog" "is" "green" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple6) -> (rule3 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((((triple2) -> (rule8 % int2))) -> (rule4 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog is green.
("dog" "is" "green" "+")
int2
The dog eats the mouse.
("dog" "eats" "mouse" "+")
((((((triple2) -> (rule8 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The dog eats the mouse.
("dog" "eats" "mouse" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is green.
("dog" "is" "green" "+")
int3