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