The dog chases the mouse. The dog eats the lion. The dog is cold. The dog is kind. The dog is rough. The dog needs the lion. The dog needs the mouse. The lion chases the dog. The lion eats the dog. The lion eats the mouse. The lion is green. The lion needs the dog. The lion needs the mouse. The mouse chases the dog. The mouse eats the lion. If the mouse chases the dog and the mouse eats the lion then the dog chases the lion. If something needs the lion then the lion eats the mouse. If something needs the dog and it eats the lion then the lion needs the mouse. If the dog is green and the dog is cold then the dog chases the lion. If the lion chases the mouse then the lion eats the dog. If something is green and it eats the lion then it needs the dog.
The dog chases the mouse.
("dog" "chases" "mouse" "+")
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog needs the mouse.
("dog" "needs" "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 green.
("lion" "is" "green" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse eats the lion.
("mouse" "eats" "lion" "+")
If the mouse chases the dog and the mouse eats the lion then the dog chases the lion.
((("mouse" "chases" "dog" "+") ("mouse" "eats" "lion" "+")) -> ("dog" "chases" "lion" "+"))
If something needs the lion then the lion eats the mouse.
((("something" "needs" "lion" "+")) -> ("lion" "eats" "mouse" "+"))
If something needs the dog and it eats the lion then the lion needs the mouse.
((("something" "needs" "dog" "+") ("something" "eats" "lion" "+")) -> ("lion" "needs" "mouse" "+"))
If the dog is green and the dog is cold then the dog chases the lion.
((("dog" "is" "green" "+") ("dog" "is" "cold" "+")) -> ("dog" "chases" "lion" "+"))
If the lion chases the mouse then the lion eats the dog.
((("lion" "chases" "mouse" "+")) -> ("lion" "eats" "dog" "+"))
If something is green and it eats the lion then it needs the dog.
((("something" "is" "green" "+") ("something" "eats" "lion" "+")) -> ("something" "needs" "dog" "+"))
The lion chases the dog.
True
1
proof
[(triple8)]
("lion" "chases" "dog" "+")
triple8
The dog does not need the mouse.
False
1
inv-proof
[(triple7)]
("dog" "needs" "mouse" "-")
triple7
The mouse does not need the dog.
Unknown
inv-rconc
[@1: The mouse needs the dog.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("mouse" "needs" "dog" "-")
The dog eats the mouse.
Unknown
random
[@0: The dog eats the mouse.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "mouse" "+")
@0: The dog chases the mouse.[(triple1)] The dog eats the lion.[(triple2)] The dog is cold.[(triple3)] The dog is kind.[(triple4)] The dog is rough.[(triple5)] The dog needs the lion.[(triple6)] The dog needs the mouse.[(triple7)] The lion chases the dog.[(triple8)] The lion eats the dog.[(triple9)] The lion eats the mouse.[(triple10 OR ((triple6) -> rule2))] The lion is green.[(triple11)] The lion needs the dog.[(triple12)] The lion needs the mouse.[(triple13)] The mouse chases the dog.[(triple14)] The mouse eats the lion.[(triple15)] @1: The dog chases the lion.[(((triple14 triple15) -> rule1))]
The dog chases the mouse.
("dog" "chases" "mouse" "+")
triple1
The dog eats the lion.
("dog" "eats" "lion" "+")
triple2
The dog is cold.
("dog" "is" "cold" "+")
triple3
The dog is kind.
("dog" "is" "kind" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple5
The dog needs the lion.
("dog" "needs" "lion" "+")
triple6
The dog needs the mouse.
("dog" "needs" "mouse" "+")
triple7
The lion chases the dog.
("lion" "chases" "dog" "+")
triple8
The lion eats the dog.
("lion" "eats" "dog" "+")
triple9
The lion eats the mouse.
("lion" "eats" "mouse" "+")
triple10
((triple6) -> (rule2 % int1))
The lion eats the mouse.
("lion" "eats" "mouse" "+")
int1
The lion is green.
("lion" "is" "green" "+")
triple11
The lion needs the dog.
("lion" "needs" "dog" "+")
triple12
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple13
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple14
The mouse eats the lion.
("mouse" "eats" "lion" "+")
triple15
The dog chases the lion.
("dog" "chases" "lion" "+")
((triple14 triple15) -> (rule1 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1