The dog does not chase the lion. The dog is big. The dog is cold. The dog does not visit the lion. The dog visits the mouse. The lion chases the dog. The lion eats the dog. The lion eats the mouse. The lion is cold. The lion is young. The lion visits the mouse. The mouse chases the dog. The mouse eats the dog. The mouse does not eat the lion. The mouse does not visit the dog. The mouse visits the lion. If something chases the mouse then it is kind. If something visits the mouse then it is kind. If the lion is kind and the lion is young then the lion does not chase the mouse. If something eats the lion then it does not eat the dog. If something is big then it chases the mouse. If the lion chases the mouse and the lion does not eat the dog then the lion does not eat the mouse.
The dog does not chase the lion.
("dog" "chases" "lion" "-")
The dog is big.
("dog" "is" "big" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog does not visit the lion.
("dog" "visits" "lion" "-")
The dog visits the mouse.
("dog" "visits" "mouse" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion eats the dog.
("lion" "eats" "dog" "+")
The lion eats the mouse.
("lion" "eats" "mouse" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is young.
("lion" "is" "young" "+")
The lion visits the mouse.
("lion" "visits" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the dog.
("mouse" "eats" "dog" "+")
The mouse does not eat the lion.
("mouse" "eats" "lion" "-")
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
The mouse visits the lion.
("mouse" "visits" "lion" "+")
If something chases the mouse then it is kind.
((("something" "chases" "mouse" "+")) -> ("something" "is" "kind" "+"))
If something visits the mouse then it is kind.
((("something" "visits" "mouse" "+")) -> ("something" "is" "kind" "+"))
If the lion is kind and the lion is young then the lion does not chase the mouse.
((("lion" "is" "kind" "+") ("lion" "is" "young" "+")) -> ("lion" "chases" "mouse" "-"))
If something eats the lion then it does not eat the dog.
((("something" "eats" "lion" "+")) -> ("something" "eats" "dog" "-"))
If something is big then it chases the mouse.
((("something" "is" "big" "+")) -> ("something" "chases" "mouse" "+"))
If the lion chases the mouse and the lion does not eat the dog then the lion does not eat the mouse.
((("lion" "chases" "mouse" "+") ("lion" "eats" "dog" "~")) -> ("lion" "eats" "mouse" "-"))
The lion chases the dog.
True
1
proof
[(triple6)]
("lion" "chases" "dog" "+")
triple6
The dog is not cold.
False
1
inv-proof
[(triple3)]
("dog" "is" "cold" "-")
triple3
The lion is kind.
True
2
proof
[(((triple11) -> rule2))]
("lion" "is" "kind" "+")
((triple11) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion is not kind.
False
2
inv-proof
[(((triple11) -> rule2))]
("lion" "is" "kind" "-")
((triple11) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion does not chase the mouse.
True
4
proof
[(((((triple11) -> rule2) triple10) -> rule3))]
("lion" "chases" "mouse" "-")
((((triple11) -> (rule2 % int2)) triple10) -> (rule3 % int1))
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The lion chases the mouse.
False
4
inv-proof
[(((((triple11) -> rule2) triple10) -> rule3))]
("lion" "chases" "mouse" "+")
((((triple11) -> (rule2 % int2)) triple10) -> (rule3 % int1))
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2
The mouse is not kind.
Unknown
inv-rconc
[@2: The mouse is kind.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("mouse" "is" "kind" "-")
The mouse chases the mouse.
Unknown
rconc
[@1: The mouse chases the mouse.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("mouse" "chases" "mouse" "+")
The lion does not eat the lion.
Unknown
inv-random
[@0: The lion eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "lion" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
The dog does not visit the dog.
Unknown
inv-random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "-")
The lion visits the dog.
Unknown
random
[@0: The lion visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "dog" "+")
@0: The dog does not chase the lion.[(triple1)] The dog does not visit the lion.[(triple4)] The dog is big.[(triple2)] The dog is cold.[(triple3)] The dog visits the mouse.[(triple5)] The lion chases the dog.[(triple6)] The lion eats the dog.[(triple7)] The lion eats the mouse.[(triple8)] The lion is cold.[(triple9)] The lion is young.[(triple10)] The lion visits the mouse.[(triple11)] The mouse chases the dog.[(triple12)] The mouse does not eat the lion.[(triple14)] The mouse does not visit the dog.[(triple15)] The mouse eats the dog.[(triple13)] The mouse visits the lion.[(triple16)] @1: The dog chases the mouse.[(((triple2) -> rule5))] The dog is kind.[(((triple5) -> rule2) OR ((((triple2) -> rule5)) -> rule1))] The lion is kind.[(((triple11) -> rule2))] @2: The lion does not chase the mouse.[(((((triple11) -> rule2) triple10) -> rule3))]
The dog does not chase the lion.
("dog" "chases" "lion" "-")
triple1
The dog does not visit the lion.
("dog" "visits" "lion" "-")
triple4
The dog is big.
("dog" "is" "big" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog visits the mouse.
("dog" "visits" "mouse" "+")
triple5
The lion chases the dog.
("lion" "chases" "dog" "+")
triple6
The lion eats the dog.
("lion" "eats" "dog" "+")
triple7
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple8
The lion is cold.
("lion" "is" "cold" "+")
triple9
The lion is young.
("lion" "is" "young" "+")
triple10
The lion visits the mouse.
("lion" "visits" "mouse" "+")
triple11
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple12
The mouse does not eat the lion.
("mouse" "eats" "lion" "-")
triple14
The mouse does not visit the dog.
("mouse" "visits" "dog" "-")
triple15
The mouse eats the dog.
("mouse" "eats" "dog" "+")
triple13
The mouse visits the lion.
("mouse" "visits" "lion" "+")
triple16
The dog chases the mouse.
("dog" "chases" "mouse" "+")
((triple2) -> (rule5 % int1))
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int1
The dog is kind.
("dog" "is" "kind" "+")
((triple5) -> (rule2 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
The dog is kind.
("dog" "is" "kind" "+")
int1
The dog chases the mouse.
("dog" "chases" "mouse" "+")
int2
The lion is kind.
("lion" "is" "kind" "+")
((triple11) -> (rule2 % int1))
The lion is kind.
("lion" "is" "kind" "+")
int1
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
((((triple11) -> (rule2 % int2)) triple10) -> (rule3 % int1))
The lion does not chase the mouse.
("lion" "chases" "mouse" "-")
int1
The lion is kind.
("lion" "is" "kind" "+")
int2