The cat is cold. The cat is kind. The cat likes the mouse. The cat needs the mouse. The mouse chases the rabbit. The mouse is kind. The mouse likes the cat. The mouse needs the cat. The mouse needs the rabbit. The rabbit needs the mouse. If someone likes the mouse then the mouse needs the rabbit. If someone needs the cat and the cat likes the rabbit then the cat needs the rabbit. If someone is red and young then they like the rabbit.
The cat is cold.
("cat" "is" "cold" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
If someone likes the mouse then the mouse needs the rabbit.
((("someone" "likes" "mouse" "+")) -> ("mouse" "needs" "rabbit" "+"))
If someone needs the cat and the cat likes the rabbit then the cat needs the rabbit.
((("someone" "needs" "cat" "+") ("cat" "likes" "rabbit" "+")) -> ("cat" "needs" "rabbit" "+"))
If someone is red and young then they like the rabbit.
((("someone" "is" "red" "+") ("someone" "is" "young" "+")) -> ("someone" "likes" "rabbit" "+"))
The mouse chases the rabbit.
True
1
proof
[(triple5)]
("mouse" "chases" "rabbit" "+")
triple5
The mouse does not like the cat.
False
1
inv-proof
[(triple7)]
("mouse" "likes" "cat" "-")
triple7
The cat does not need the rabbit.
Unknown
inv-rconc
[@2: The cat needs the rabbit.[CWA. Example of deepest failure = (rule2 <- rule3 <- FAIL)]]
("cat" "needs" "rabbit" "-")
The mouse is rough.
Unknown
random
[@0: The mouse is rough.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "rough" "+")
@0: The cat is cold.[(triple1)] The cat is kind.[(triple2)] The cat likes the mouse.[(triple3)] The cat needs the mouse.[(triple4)] The mouse chases the rabbit.[(triple5)] The mouse is kind.[(triple6)] The mouse likes the cat.[(triple7)] The mouse needs the cat.[(triple8)] The mouse needs the rabbit.[(triple9 OR ((triple3) -> rule1))] The rabbit needs the mouse.[(triple10)]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is kind.
("cat" "is" "kind" "+")
triple2
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple3
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple4
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple5
The mouse is kind.
("mouse" "is" "kind" "+")
triple6
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple7
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple8
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple9
((triple3) -> (rule1 % int1))
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
int1
The rabbit needs the mouse.
("rabbit" "needs" "mouse" "+")
triple10