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