The cat is cold. The cat is red. The cat likes the mouse. The cat needs the mouse. The cat visits the mouse. The mouse likes the cat. The mouse needs the cat. If someone is green and they like the cat then they like the mouse. If someone likes the cat and the cat is nice then the cat is cold. If someone likes the cat and the cat does not like the mouse then they visit the mouse.
The cat is cold.
("cat" "is" "cold" "+")
The cat is red.
("cat" "is" "red" "+")
The cat likes the mouse.
("cat" "likes" "mouse" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat visits the mouse.
("cat" "visits" "mouse" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse needs the cat.
("mouse" "needs" "cat" "+")
If someone is green and they like the cat then they like the mouse.
((("someone" "is" "green" "+") ("someone" "likes" "cat" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the cat and the cat is nice then the cat is cold.
((("someone" "likes" "cat" "+") ("cat" "is" "nice" "+")) -> ("cat" "is" "cold" "+"))
If someone likes the cat and the cat does not like the mouse then they visit the mouse.
((("someone" "likes" "cat" "+") ("cat" "likes" "mouse" "~")) -> ("someone" "visits" "mouse" "+"))
The cat needs the mouse.
True
1
proof
[(triple4)]
("cat" "needs" "mouse" "+")
triple4
The mouse does not like the cat.
False
1
inv-proof
[(triple6)]
("mouse" "likes" "cat" "-")
triple6
The mouse does not visit the mouse.
Unknown
inv-rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("mouse" "visits" "mouse" "-")
The cat likes the cat.
Unknown
random
[@0: The cat likes the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "cat" "+")
@0: The cat is cold.[(triple1)] The cat is red.[(triple2)] The cat likes the mouse.[(triple3)] The cat needs the mouse.[(triple4)] The cat visits the mouse.[(triple5)] The mouse likes the cat.[(triple6)] The mouse needs the cat.[(triple7)]
The cat is cold.
("cat" "is" "cold" "+")
triple1
The cat is red.
("cat" "is" "red" "+")
triple2
The cat likes the mouse.
("cat" "likes" "mouse" "+")
triple3
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
triple5
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple6
The mouse needs the cat.
("mouse" "needs" "cat" "+")
triple7