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