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