The cat chases the mouse. The cat eats the mouse. The cat needs the mouse. The lion chases the cat. The lion chases the mouse. The lion needs the cat. The lion needs the mouse. The mouse does not chase the cat. The mouse does not chase the lion. The mouse chases the tiger. The mouse is cold. The mouse needs the cat. The mouse does not need the tiger. The tiger is not big. The tiger is rough. The tiger does not need the lion. If someone chases the tiger and they are rough then they are not big. If someone chases the cat then they do not eat the mouse. If the tiger does not eat the mouse then the tiger is cold.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion needs the mouse.
("lion" "needs" "mouse" "+")
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse does not need the tiger.
("mouse" "needs" "tiger" "-")
The tiger is not big.
("tiger" "is" "big" "-")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
If someone chases the tiger and they are rough then they are not big.
((("someone" "chases" "tiger" "+") ("someone" "is" "rough" "+")) -> ("someone" "is" "big" "-"))
If someone chases the cat then they do not eat the mouse.
((("someone" "chases" "cat" "+")) -> ("someone" "eats" "mouse" "-"))
If the tiger does not eat the mouse then the tiger is cold.
((("tiger" "eats" "mouse" "~")) -> ("tiger" "is" "cold" "+"))
The lion needs the mouse.
True
1
proof
[(triple7)]
("lion" "needs" "mouse" "+")
triple7
The lion does not need the cat.
False
1
inv-proof
[(triple6)]
("lion" "needs" "cat" "-")
triple6
The lion does not eat the mouse.
True
2
proof
[(((triple4) -> rule2))]
("lion" "eats" "mouse" "-")
((triple4) -> (rule2 % int1))
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
int1
The lion eats the mouse.
False
2
inv-proof
[(((triple4) -> rule2))]
("lion" "eats" "mouse" "+")
((triple4) -> (rule2 % int1))
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
int1
The tiger is not cold.
Unknown
inv-rconc
[@1: The tiger is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "cold" "-")
The tiger chases the mouse.
Unknown
random
[@0: The tiger chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "mouse" "+")
The lion does not eat the cat.
Unknown
inv-random
[@0: The lion eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("lion" "eats" "cat" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat chases the mouse.[(triple1)] The cat eats the mouse.[(triple2)] The cat needs the mouse.[(triple3)] The lion chases the cat.[(triple4)] The lion chases the mouse.[(triple5)] The lion needs the cat.[(triple6)] The lion needs the mouse.[(triple7)] The mouse chases the tiger.[(triple10)] The mouse does not chase the cat.[(triple8)] The mouse does not chase the lion.[(triple9)] The mouse does not need the tiger.[(triple13)] The mouse is cold.[(triple11)] The mouse needs the cat.[(triple12)] The tiger does not need the lion.[(triple16)] The tiger is not big.[(triple14)] The tiger is rough.[(triple15)] @1: The lion does not eat the mouse.[(((triple4) -> rule2))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple2
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple3
The lion chases the cat.
("lion" "chases" "cat" "+")
triple4
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple5
The lion needs the cat.
("lion" "needs" "cat" "+")
triple6
The lion needs the mouse.
("lion" "needs" "mouse" "+")
triple7
The mouse chases the tiger.
("mouse" "chases" "tiger" "+")
triple10
The mouse does not chase the cat.
("mouse" "chases" "cat" "-")
triple8
The mouse does not chase the lion.
("mouse" "chases" "lion" "-")
triple9
The mouse does not need the tiger.
("mouse" "needs" "tiger" "-")
triple13
The mouse is cold.
("mouse" "is" "cold" "+")
triple11
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple12
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
triple16
The tiger is not big.
("tiger" "is" "big" "-")
triple14
The tiger is rough.
("tiger" "is" "rough" "+")
triple15
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
((triple4) -> (rule2 % int1))
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
int1